Search dblp for Publications

export results for "Steven Carr"

 download as .bib file

@article{DBLP:journals/eait/KahvazadehJFGCBH24,
  author       = {Irene Kahvazadeh and
                  Edwin Jose and
                  Alvis Cheuk M. Fong and
                  Ajay K. Gupta and
                  Steven M. Carr and
                  Shameek Bhattacharjee and
                  Michael Harnar},
  title        = {Development and evaluation of a modular experiential learning curriculum
                  for promoting {AI} readiness},
  journal      = {Educ. Inf. Technol.},
  volume       = {29},
  number       = {3},
  pages        = {3445--3459},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10639-023-11928-w},
  doi          = {10.1007/S10639-023-11928-W},
  timestamp    = {Wed, 14 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eait/KahvazadehJFGCBH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/GuYMZLCKZABHHMMMSSYHC24,
  author       = {Hongyan Gu and
                  Chunxu Yang and
                  Shino Magaki and
                  Neda Zarrin{-}Khameh and
                  Nelli S. Lakis and
                  Inma Cobos and
                  Negar Khanlou and
                  Xinhai R. Zhang and
                  Jasmeet Assi and
                  Joshua T. Byers and
                  Ameer Hamza and
                  Karam Han and
                  Anders Meyer and
                  Hilda Mirbaha and
                  Carrie A. Mohila and
                  Todd M. Stevens and
                  Sara L. Stone and
                  Wenzhong Yan and
                  Mohammad Haeri and
                  Xiang 'Anthony' Chen},
  title        = {Majority voting of doctors improves appropriateness of {AI} reliance
                  in pathology},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {190},
  pages        = {103315},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.ijhcs.2024.103315},
  doi          = {10.1016/J.IJHCS.2024.103315},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/GuYMZLCKZABHHMMMSSYHC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/ZhangCWBCL24,
  author       = {Guanghui Zhang and
                  Carlos D. Carrasco and
                  Kurt Winsler and
                  Brett Bahle and
                  Fengyu Cong and
                  Steven J. Luck},
  title        = {Assessing the effectiveness of spatial {PCA} on SVM-based decoding
                  of {EEG} data},
  journal      = {NeuroImage},
  volume       = {293},
  pages        = {120625},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.neuroimage.2024.120625},
  doi          = {10.1016/J.NEUROIMAGE.2024.120625},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/ZhangCWBCL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/patterns/RootesMurdyPKRQCLCCJGHK24,
  author       = {Kelly Rootes{-}Murdy and
                  Sandeep R. Panta and
                  Ross Kelly and
                  Javier Tomas Romero and
                  Yann Quid{\'{e}} and
                  Murray J. Cairns and
                  C. M. Loughland and
                  Vaughan J. Carr and
                  Stanley V. Catts and
                  Assen Jablensky and
                  Melissa J. Green and
                  Frans Henskens and
                  Dylan Kiltschewskij and
                  Patricia T. Michie and
                  Bryan J. Mowry and
                  Christos Pantelis and
                  Paul E. Rasser and
                  William R. Reay and
                  Ulrich Schall and
                  Rodney J. Scott and
                  Oliver J. Watkeys and
                  Gloria M. P. Roberts and
                  Philip B. Mitchell and
                  Janice M. Fullerton and
                  Bronwyn J. Overs and
                  Masataka Kikuchi and
                  Ryota Hashimoto and
                  Junya Matsumoto and
                  Masaki Fukunaga and
                  Perminder S. Sachdev and
                  Henry Brodaty and
                  Wei Wen and
                  Jiyang Jiang and
                  Negar Fani and
                  Timothy D. Ely and
                  Adriana Lorio and
                  Jennifer S. Stevens and
                  Kerry J. Ressler and
                  Tanja Jovanovic and
                  Sanne J. H. van Rooij and
                  Lydia M. Federmann and
                  Christiane Jockwitz and
                  Alexander Teumer and
                  Andreas J. Forstner and
                  Svenja Caspers and
                  Sven Cichon and
                  Sergey M. Plis and
                  Anand D. Sarwate and
                  Vince D. Calhoun},
  title        = {Cortical similarities in psychiatric and mood disorders identified
                  in federated {VBM} analysis via {COINSTAC}},
  journal      = {Patterns},
  volume       = {5},
  number       = {7},
  pages        = {100987},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.patter.2024.100987},
  doi          = {10.1016/J.PATTER.2024.100987},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/patterns/RootesMurdyPKRQCLCCJGHK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/YangBIWCWT24,
  author       = {Yunhao Yang and
                  Neel P. Bhatt and
                  Tyler Ingebrand and
                  William Ward and
                  Steven Carr and
                  Atlas Wang and
                  Ufuk Topcu},
  editor       = {Phillip B. Gibbons and
                  Gennady Pekhimenko and
                  Christopher De Sa},
  title        = {Fine-Tuning Language Models Using Formal Methods Feedback: {A} Use
                  Case in Autonomous Systems},
  booktitle    = {Proceedings of the Seventh Annual Conference on Machine Learning and
                  Systems, MLSys 2024, Santa Clara, CA, USA, May 13-16, 2024},
  publisher    = {mlsys.org},
  year         = {2024},
  url          = {https://proceedings.mlsys.org/paper\_files/paper/2024/hash/b0131b6ee02a00b03fc3320176fec8f5-Abstract-Conference.html},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mlsys/YangBIWCWT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/0009HSZDHFJLR0Z24,
  author       = {Wei Ye and
                  Xinyue Hu and
                  Steven Sleder and
                  Anlan Zhang and
                  Udhaya Kumar Dayalan and
                  Ahmad Hassan and
                  Rostand A. K. Fezeu and
                  Akshay Jajoo and
                  Myungjin Lee and
                  Eman Ramadan and
                  Feng Qian and
                  Zhi{-}Li Zhang},
  title        = {Dissecting Carrier Aggregation in 5G Networks: Measurement, QoE Implications
                  and Prediction},
  booktitle    = {Proceedings of the {ACM} {SIGCOMM} 2024 Conference, {ACM} {SIGCOMM}
                  2024, Sydney, NSW, Australia, August 4-8, 2024},
  pages        = {340--357},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3651890.3672250},
  doi          = {10.1145/3651890.3672250},
  timestamp    = {Fri, 02 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/0009HSZDHFJLR0Z24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18545,
  author       = {Abbi Ward and
                  Jimmy Li and
                  Julie Wang and
                  Sriram Lakshminarasimhan and
                  Ashley Carrick and
                  Bilson J. L. Campana and
                  Jay Hartford and
                  Pradeep Kumar S and
                  Tiya Tiyasirichokchai and
                  Sunny Virmani and
                  Renee Wong and
                  Yossi Matias and
                  Gregory S. Corrado and
                  Dale R. Webster and
                  Dawn Siegel and
                  Steven Lin and
                  Justin Ko and
                  Alan Karthikesalingam and
                  Christopher Semturs and
                  Pooja Rao},
  title        = {Crowdsourcing Dermatology Images with Google Search Ads: Creating
                  a Real-World Skin Condition Dataset},
  journal      = {CoRR},
  volume       = {abs/2402.18545},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.18545},
  doi          = {10.48550/ARXIV.2402.18545},
  eprinttype    = {arXiv},
  eprint       = {2402.18545},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-18545.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-04485,
  author       = {Hongyan Gu and
                  Chunxu Yang and
                  Shino Magaki and
                  Neda Zarrin{-}Khameh and
                  Nelli S. Lakis and
                  Inma Cobos and
                  Negar Khanlou and
                  Xinhai R. Zhang and
                  Jasmeet Assi and
                  Joshua T. Byers and
                  Ameer Hamza and
                  Karam Han and
                  Anders Meyer and
                  Hilda Mirbaha and
                  Carrie A. Mohila and
                  Todd M. Stevens and
                  Sara L. Stone and
                  Wenzhong Yan and
                  Mohammad Haeri and
                  Xiang 'Anthony' Chen},
  title        = {Majority Voting of Doctors Improves Appropriateness of {AI} Reliance
                  in Pathology},
  journal      = {CoRR},
  volume       = {abs/2404.04485},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.04485},
  doi          = {10.48550/ARXIV.2404.04485},
  eprinttype    = {arXiv},
  eprint       = {2404.04485},
  timestamp    = {Wed, 15 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-04485.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18960,
  author       = {Steven R. Shave and
                  Richard Kasprowicz and
                  Abdullah M. Athar and
                  Denise Vlachou and
                  Neil O. Carragher and
                  Cuong Q. Nguyen},
  title        = {Leak Proof CMap; a framework for training and evaluation of cell line
                  agnostic {L1000} similarity methods},
  journal      = {CoRR},
  volume       = {abs/2404.18960},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.18960},
  doi          = {10.48550/ARXIV.2404.18960},
  eprinttype    = {arXiv},
  eprint       = {2404.18960},
  timestamp    = {Wed, 29 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-18960.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-20490,
  author       = {Marco Tezzele and
                  Steven Carr and
                  Ufuk Topcu and
                  Karen E. Willcox},
  title        = {Adaptive planning for risk-aware predictive digital twins},
  journal      = {CoRR},
  volume       = {abs/2407.20490},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.20490},
  doi          = {10.48550/ARXIV.2407.20490},
  eprinttype    = {arXiv},
  eprint       = {2407.20490},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-20490.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-08770,
  author       = {Maris F. L. Galesloot and
                  Marnix Suilen and
                  Thiago D. Sim{\~{a}}o and
                  Steven Carr and
                  Matthijs T. J. Spaan and
                  Ufuk Topcu and
                  Nils Jansen},
  title        = {Pessimistic Iterative Planning for Robust POMDPs},
  journal      = {CoRR},
  volume       = {abs/2408.08770},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2408.08770},
  doi          = {10.48550/ARXIV.2408.08770},
  eprinttype    = {arXiv},
  eprint       = {2408.08770},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2408-08770.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ShaveDANKC23,
  author       = {Steven R. Shave and
                  John C. Dawson and
                  Abdullah M. Athar and
                  Cuong Q. Nguyen and
                  Richard Kasprowicz and
                  Neil O. Carragher},
  title        = {Phenonaut: multiomics data integration for phenotypic space exploration},
  journal      = {Bioinform.},
  volume       = {39},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.1093/bioinformatics/btad143},
  doi          = {10.1093/BIOINFORMATICS/BTAD143},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/ShaveDANKC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BakirtzisCDT23,
  author       = {Georgios Bakirtzis and
                  Steven Carr and
                  David Danks and
                  Ufuk Topcu},
  title        = {Dynamic Certification for Autonomous Systems},
  journal      = {Commun. {ACM}},
  volume       = {66},
  number       = {9},
  pages        = {64--72},
  year         = {2023},
  url          = {https://doi.org/10.1145/3574133},
  doi          = {10.1145/3574133},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BakirtzisCDT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftsys/WongpiromsarnGCBCKNGT23,
  author       = {Tichakorn Wongpiromsarn and
                  Mahsa Ghasemi and
                  Murat Cubuktepe and
                  Georgios Bakirtzis and
                  Steven Carr and
                  Mustafa O. Karabag and
                  Cyrus Neary and
                  Parham Gohari and
                  Ufuk Topcu},
  title        = {Formal Methods for Autonomous Systems},
  journal      = {Found. Trends Syst. Control.},
  volume       = {10},
  number       = {3-4},
  pages        = {180--407},
  year         = {2023},
  url          = {https://doi.org/10.1561/2600000029},
  doi          = {10.1561/2600000029},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ftsys/WongpiromsarnGCBCKNGT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/CarringtonMFROW23,
  author       = {Andr{\'{e}} M. Carrington and
                  Douglas G. Manuel and
                  Paul W. Fieguth and
                  Tim Ramsay and
                  Venet Osmani and
                  Bernhard Wernly and
                  Carol Bennett and
                  Steven Hawken and
                  Olivia Magwood and
                  Yusuf Sheikh and
                  Matthew McInnes and
                  Andreas Holzinger},
  title        = {Deep {ROC} Analysis and {AUC} as Balanced Average Accuracy, for Improved
                  Classifier Selection, Audit and Explanation},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {45},
  number       = {1},
  pages        = {329--341},
  year         = {2023},
  url          = {https://doi.org/10.1109/TPAMI.2022.3145392},
  doi          = {10.1109/TPAMI.2022.3145392},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/CarringtonMFROW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/HajoujiSZHACCH23,
  author       = {Oualid El Hajouji and
                  Ran Sun and
                  Alban Zammit and
                  Keith Humphreys and
                  Steven M. Asch and
                  Ian Carroll and
                  Catherine M. Curtin and
                  Tina Hernandez{-}Boussard},
  title        = {Prediction of opioid-related outcomes in a medicaid surgical population:
                  Evidence to guide postoperative opiate therapy and monitoring},
  journal      = {PLoS Comput. Biol.},
  volume       = {19},
  number       = {8},
  year         = {2023},
  url          = {https://doi.org/10.1371/journal.pcbi.1011376},
  doi          = {10.1371/JOURNAL.PCBI.1011376},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ploscb/HajoujiSZHACCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/MacenskiSCG23,
  author       = {Steve Macenski and
                  Alberto Soragna and
                  Michael Carroll and
                  Zhenpeng Ge},
  title        = {Impact of {ROS} 2 Node Composition in Robotic Systems},
  journal      = {{IEEE} Robotics Autom. Lett.},
  volume       = {8},
  number       = {7},
  pages        = {3996--4003},
  year         = {2023},
  url          = {https://doi.org/10.1109/LRA.2023.3279614},
  doi          = {10.1109/LRA.2023.3279614},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ral/MacenskiSCG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Carr0JT23,
  author       = {Steven Carr and
                  Nils Jansen and
                  Sebastian Junges and
                  Ufuk Topcu},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Safe Reinforcement Learning via Shielding under Partial Observability},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {14748--14756},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i12.26723},
  doi          = {10.1609/AAAI.V37I12.26723},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/Carr0JT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/EscamillaCSQ23,
  author       = {Leonardo Escamilla and
                  Luis Rodolfo Garc{\'{\i}}a Carrillo and
                  Steven Sandoval and
                  Eduardo Steed Espinoza Quesada},
  title        = {Stabilization and trajectory tracking of a subactuated aircraft based
                  on a Geometric Algebra approach},
  booktitle    = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
                  - June 2, 2023},
  pages        = {3233--3238},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.23919/ACC55779.2023.10156381},
  doi          = {10.23919/ACC55779.2023.10156381},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/EscamillaCSQ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/CarrWT23,
  author       = {Steven Carr and
                  Tichakorn Wongpiromsarn and
                  Ufuk Topcu},
  title        = {Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems
                  \({}^{\mbox{*}}\)},
  booktitle    = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2023,
                  Bridgetown, Barbados, August 16-18, 2023},
  pages        = {1115--1121},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CCTA54093.2023.10252584},
  doi          = {10.1109/CCTA54093.2023.10252584},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccta/CarrWT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/CarrollSBHW23,
  author       = {Jacob M. Carroll and
                  Meredith Reed Smoot and
                  Courtney C. Bauer and
                  Jue Hou and
                  Steven M. Wright},
  title        = {Low-cost {MRI} System for Teaching},
  booktitle    = {45th Annual International Conference of the {IEEE} Engineering in
                  Medicine {\&} Biology Society, {EMBC} 2023, Sydney, Australia,
                  July 24-27, 2023},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/EMBC40787.2023.10340036},
  doi          = {10.1109/EMBC40787.2023.10340036},
  timestamp    = {Thu, 11 Jan 2024 15:01:18 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/CarrollSBHW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaic2/Fadheel0A23,
  author       = {Wesam Fadheel and
                  Steve Carr and
                  Wassnaa Al{-}Mawee},
  title        = {On Phishing: Proposing a Traffic Behavior-Based Model to Detect, Prevent,
                  and Classify Webpage Suspicious and Malicious Activities},
  booktitle    = {{IEEE} 2nd International Conference on {AI} in Cybersecurity, {ICAIC}
                  2023, Houston, TX, USA, February 7-9, 2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICAIC57335.2023.10044171},
  doi          = {10.1109/ICAIC57335.2023.10044171},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icaic2/Fadheel0A23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/Carraro0VPB23,
  author       = {Diego Carraro and
                  Andrea Rossi and
                  Andrea Visentin and
                  Steven D. Prestwich and
                  Kenneth N. Brown},
  title        = {Performance and Energy Savings Trade-Off with Uncertainty-Aware Cloud
                  Workload Forecasting},
  booktitle    = {31st {IEEE} International Conference on Network Protocols, {ICNP}
                  2023, Reykjavik, Iceland, October 10-13, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICNP59255.2023.10355570},
  doi          = {10.1109/ICNP59255.2023.10355570},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icnp/Carraro0VPB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/GlieseKRABBBBBBCCCCCCCCCDDEEFFGGHHHH23,
  author       = {Ulrik Gliese and
                  David Kubalak and
                  Zakk Rhodes and
                  Craig R. Auletti and
                  Sachidananda R. Babu and
                  Branimir Blagojevic and
                  Kasey Boggs and
                  Robert Bousquet and
                  Gregory Bredthauer and
                  Gary L. Brown and
                  Nga T. Cao and
                  Thomas L. Capon and
                  James Champagne and
                  Leland H. Chemerys and
                  Felix N. Chi and
                  Brian L. Clemons and
                  James Cook and
                  William B. Cook and
                  Nicholas P. Costen and
                  Kevin R. Dahya and
                  Paul V. Dizon and
                  Roy Esplin and
                  Robert Estep and
                  Ali Feizi and
                  Steven H. Feng and
                  Eric T. Gorman and
                  Jeffrey Guzek and
                  O. A. Haddad and
                  Claef F. Hakun and
                  Locksley B. Haynes and
                  Michael J. Hersh and
                  Carrie S. Hill and
                  David G. Holliday and
                  Luis Ramos{-}Izquierdo and
                  Kim S. Jepsen and
                  Emily Kan and
                  Bradford P. Kercheval and
                  Saman Kholdebarin and
                  Joseph J. Knuble and
                  Anh T. La and
                  Erik D. Laurila and
                  Michael R. Lin and
                  Wei Lu and
                  Albert J. Mariano and
                  Lane A. Meier and
                  Gerhard Meister and
                  Bryan Monosmith and
                  David Mott and
                  Michael M. Mulloney and
                  Quang V. Nguyen and
                  Thomas J. Nolan and
                  Matthew A. Owens and
                  James Peterson and
                  Manuel A. Quijada and
                  Knute A. Ray and
                  Kenneth Squire and
                  Christopher P. Stull and
                  Joe Thomes and
                  Eugene Waluschka and
                  Yiting Wen and
                  Mark E. Wilson and
                  Jeremy Werdell},
  title        = {Optical and Detector Design of the Ocean Color Instrument for the
                  {NASA} Pace Mission},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2023, Pasadena, CA, USA, July 16-21, 2023},
  pages        = {1337--1340},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/IGARSS52108.2023.10281729},
  doi          = {10.1109/IGARSS52108.2023.10281729},
  timestamp    = {Mon, 30 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/GlieseKRABBBBBBCCCCCCCCCDDEEFFGGHHHH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/MartimortDHRSABBBBCCWDFGGGHJLLLLLMMM23,
  author       = {Philippe Martimort and
                  Bernardo Carnicero Dom{\'{\i}}nguez and
                  Arnaud H{\'{e}}li{\`{e}}re and
                  Josep Rosell{\'{o}} and
                  Martin S{\"{u}}ss and
                  Jean{-}Christophe Angevain and
                  Adrien Bardou and
                  Frederik Br{\"{a}}uer and
                  Christophe Buisset and
                  Thomas Burger and
                  Simone Rafano Carn{\`{a}} and
                  Olivier Carraz and
                  Erik De Witte and
                  Valerie Dutto and
                  Mauro Federici and
                  Steven George and
                  Wilfried Glastre and
                  Valeria Gracheva and
                  Kevin Hall and
                  Fl{\'{a}}vio Jorge and
                  Dulce Lajas and
                  Arnaud Lecuyot and
                  Nicole Liu and
                  Juliette Lambin and
                  Armin L{\"{o}}scher and
                  Aliz{\'{e}}e Malavart and
                  Valentina Marchese and
                  Flavio Mariani and
                  Petronilo Martin{-}Iglesias and
                  Luca Massotti and
                  Nicola Melega and
                  Kyle Palmer and
                  Agne Paskeviciute and
                  Luca Schifano and
                  Pierluigi Silvestrin and
                  Yan Soldo and
                  Aaron Strangfeld and
                  Michel Tossaint and
                  Katia Nagamine Urata and
                  Pierre Vignaud and
                  Roman Windpassinger},
  title        = {On-Going and Planned Mission Concept Studies for the Preparation of
                  Future {ESA} Earth Observation Satellites},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2023, Pasadena, CA, USA, July 16-21, 2023},
  pages        = {4582--4585},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/IGARSS52108.2023.10283393},
  doi          = {10.1109/IGARSS52108.2023.10283393},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/MartimortDHRSABBBBCCWDFGGGHJLLLLLMMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wuwnet/PorrettaBBKW23,
  author       = {Steven F. T. Porretta and
                  St{\'{e}}phane Blouin and
                  Michel Barbeau and
                  Evangelos Kranakis and
                  Aaron Webstey},
  title        = {Adaptive Virtual Carrier Sense in Underwater Broadcasting},
  booktitle    = {Proceedings of the 17th International Conference on Underwater Networks
                  {\&} Systems, WUWNet 2023, Shenzhen, China, November 24-26, 2023},
  pages        = {24:1--24:8},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3631726.3631731},
  doi          = {10.1145/3631726.3631731},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wuwnet/PorrettaBBKW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09933,
  author       = {Steve Macenski and
                  Alberto Soragna and
                  Michael Carroll and
                  Zhenpeng Ge},
  title        = {Impact of {ROS} 2 Node Composition in Robotic Systems},
  journal      = {CoRR},
  volume       = {abs/2305.09933},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.09933},
  doi          = {10.48550/ARXIV.2305.09933},
  eprinttype    = {arXiv},
  eprint       = {2305.09933},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-09933.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18239,
  author       = {Yunhao Yang and
                  Neel P. Bhatt and
                  Tyler Ingebrand and
                  William Ward and
                  Steven Carr and
                  Zhangyang Wang and
                  Ufuk Topcu},
  title        = {Fine-Tuning Language Models Using Formal Methods Feedback},
  journal      = {CoRR},
  volume       = {abs/2310.18239},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.18239},
  doi          = {10.48550/ARXIV.2310.18239},
  eprinttype    = {arXiv},
  eprint       = {2310.18239},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-18239.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01258,
  author       = {Tichakorn Wongpiromsarn and
                  Mahsa Ghasemi and
                  Murat Cubuktepe and
                  Georgios Bakirtzis and
                  Steven Carr and
                  Mustafa O. Karabag and
                  Cyrus Neary and
                  Parham Gohari and
                  Ufuk Topcu},
  title        = {Formal Methods for Autonomous Systems},
  journal      = {CoRR},
  volume       = {abs/2311.01258},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.01258},
  doi          = {10.48550/ARXIV.2311.01258},
  eprinttype    = {arXiv},
  eprint       = {2311.01258},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-01258.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cem/SaeediFMGC22,
  author       = {Sirwe Saeedi and
                  Alvis Cheuk Ming Fong and
                  Saraju P. Mohanty and
                  Ajay K. Gupta and
                  Steve Carr},
  title        = {Consumer Artificial Intelligence Mishaps and Mitigation Strategies},
  journal      = {{IEEE} Consumer Electron. Mag.},
  volume       = {11},
  number       = {3},
  pages        = {13--24},
  year         = {2022},
  url          = {https://doi.org/10.1109/MCE.2021.3075329},
  doi          = {10.1109/MCE.2021.3075329},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cem/SaeediFMGC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsit/WolvertonHCS22,
  author       = {Colleen Carraher Wolverton and
                  Brandi N. Guidry Hollier and
                  Ignatius Cahyanto and
                  David P. Stevens},
  title        = {The role of perceived attributes of innovations in the adoption of
                  smartwatches},
  journal      = {J. Syst. Inf. Technol.},
  volume       = {24},
  number       = {4},
  pages        = {407--438},
  year         = {2022},
  url          = {https://doi.org/10.1108/JSIT-03-2021-0047},
  doi          = {10.1108/JSIT-03-2021-0047},
  timestamp    = {Fri, 18 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsit/WolvertonHCS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PersonsMPCTTDSC22,
  author       = {Andrea Karen Persons and
                  J. Carver Middleton and
                  Erin Parker and
                  Will Carroll and
                  Alana Turner and
                  Purva Talegaonkar and
                  Samaneh Davarzani and
                  David Saucier and
                  Harish Chander and
                  John E. Ball and
                  Steven H. Elder and
                  Chartrisa LaShan Simpson and
                  David Macias and
                  Reuben F. Burch V.},
  title        = {Comparison of the Capacitance of a Cyclically Fatigued Stretch Sensor
                  to a Non-Fatigued Stretch Sensor When Performing Static and Dynamic
                  Foot-Ankle Motions},
  journal      = {Sensors},
  volume       = {22},
  number       = {21},
  pages        = {8168},
  year         = {2022},
  url          = {https://doi.org/10.3390/s22218168},
  doi          = {10.3390/S22218168},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/PersonsMPCTTDSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WuCBXT22,
  author       = {Bo Wu and
                  Steven Carr and
                  Suda Bharadwaj and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying
                  Network Topology},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {67},
  number       = {7},
  pages        = {3243--3258},
  year         = {2022},
  url          = {https://doi.org/10.1109/TAC.2021.3102474},
  doi          = {10.1109/TAC.2021.3102474},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/WuCBXT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/CarrellGBSMW22,
  author       = {Travis Carrell and
                  Minyu Gu and
                  John C. Bosshard and
                  Chenhao Sun and
                  Mary P. McDougall and
                  Steven M. Wright},
  title        = {Assessing the Feasibility of Dynamic \({}^{\mbox{31}}\)P Spectroscopy
                  for Metabolic Studies With a 1.0T Extremity Scanner},
  journal      = {{IEEE} Trans. Biomed. Eng.},
  volume       = {69},
  number       = {6},
  pages        = {1975--1982},
  year         = {2022},
  url          = {https://doi.org/10.1109/TBME.2021.3132252},
  doi          = {10.1109/TBME.2021.3132252},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tbe/CarrellGBSMW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/AsfawBBCCCCDDEE22,
  author       = {Abraham Asfaw and
                  Alexandre Blais and
                  Kenneth R. Brown and
                  Jonathan Candelaria and
                  Christopher Cantwell and
                  Lincoln D. Carr and
                  Joshua Combes and
                  Dripto M. Debroy and
                  John M. Donohue and
                  Sophia E. Economou and
                  Emily Edwards and
                  Michael F. J. Fox and
                  Steven M. Girvin and
                  Alan Ho and
                  Hilary M. Hurst and
                  Zubin Jacob and
                  Blake R. Johnson and
                  Ezekiel Johnston{-}Halperin and
                  Robert Joynt and
                  Eliot Kapit and
                  Judith Klein{-}Seetharaman and
                  Martin Laforest and
                  H. J. Lewandowski and
                  Theresa W. Lynn and
                  Corey Rae H. McRae and
                  Celia Merzbacher and
                  Spyridon Michalakis and
                  Prineha Narang and
                  William D. Oliver and
                  Jens Palsberg and
                  David P. Pappas and
                  Michael G. Raymer and
                  David J. Reilly and
                  Mark Saffman and
                  Thomas A. Searles and
                  Jeffrey H. Shapiro and
                  Chandralekha Singh},
  title        = {Building a Quantum Engineering Undergraduate Program},
  journal      = {{IEEE} Trans. Educ.},
  volume       = {65},
  number       = {2},
  pages        = {220--242},
  year         = {2022},
  url          = {https://doi.org/10.1109/TE.2022.3144943},
  doi          = {10.1109/TE.2022.3144943},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/te/AsfawBBCCCCDDEE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsit/FadheelAC22,
  author       = {Wesam Fadheel and
                  Wassnaa Al{-}Mawee and
                  Steve Carr},
  title        = {On Phishing: {URL} Lexical and Network Traffic Features Analysis and
                  Knowledge Extraction using Machine Learning Algorithms {(A} Comparison
                  Study)},
  booktitle    = {5th International Conference on Data Science and Information Technology,
                  {DSIT} 2022, Shanghai, China, July 22-24, 2022},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/DSIT55514.2022.9943832},
  doi          = {10.1109/DSIT55514.2022.9943832},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsit/FadheelAC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essa/PayetteCVPSDAB22,
  author       = {Nicolas Payette and
                  Ernesto Carrella and
                  Katyana Vert{-}Pre and
                  Brian Powers and
                  Steven Saul and
                  Michael Drexler and
                  Aarthi Ananthanarayanan and
                  Richard M. Bailey},
  editor       = {Flaminio Squazzoni},
  title        = {Attracted to Fish: {A} Gravity-Based Model of Purse-Seine Vessel Behaviour},
  booktitle    = {Advances in Social Simulation - Proceedings of the 17th Social Simulation
                  Conference, European Social Simulation Association, Milan, Italy,
                  12-16 September 2022},
  pages        = {87--103},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-34920-1\_8},
  doi          = {10.1007/978-3-031-34920-1\_8},
  timestamp    = {Wed, 03 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/essa/PayetteCVPSDAB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceel/FongGCBH22,
  author       = {Alvis Cheuk M. Fong and
                  Ajay K. Gupta and
                  Steven M. Carr and
                  Shameek Bhattacharjee and
                  Michael Harnar},
  title        = {A Balanced Pedagogical Approach toward {AI} Readiness Education for
                  {STEM} Learners: Instilling a balanced view of {AI} capabilities through
                  active learning in both traditional classroom and self-directed online
                  environments},
  booktitle    = {Proceedings of the 2022 6th International Conference on Education
                  and E-Learning, {ICEEL} 2022, Yamanashi, Japan, November 21-23, 2022},
  pages        = {260--266},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3578837.3578875},
  doi          = {10.1145/3578837.3578875},
  timestamp    = {Wed, 14 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceel/FongGCBH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CarrCHMRSW21,
  author       = {Steven Carr and
                  Yu Chin Cheng and
                  Yu{-}Hsiang Hu and
                  Jean Mayo and
                  Ahmed Radwan and
                  Ching{-}Kuang Shene and
                  James W. Walker},
  editor       = {Larry Merkle and
                  Maureen Doyle and
                  Judithe Sheard and
                  Leen{-}Kiat Soh and
                  Brian Dorn},
  title        = {Design and Use of a Visualization for Teaching Integer Coercion},
  booktitle    = {{SIGCSE} 2022: The 53rd {ACM} Technical Symposium on Computer Science
                  Education, Providence, RI, USA, March 3-5, 2022, Volume 1},
  pages        = {794--800},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3478431.3499278},
  doi          = {10.1145/3478431.3499278},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/CarrCHMRSW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigite/FongGCBH22,
  author       = {Alvis Fong and
                  Ajay Gupta and
                  Steve Carr and
                  Shameek Bhattacharjee and
                  Michael Harnar},
  editor       = {Ray Trygstad and
                  Yong Zheng},
  title        = {Modular experiential learning for secure, safe, and reliable {AI:}
                  Curricular Initiative to Promote Education in Trustworthy {AI}},
  booktitle    = {{SIGITE} '22: The 23rd Annual Conference on Information Technology
                  Education, Chicago, IL, USA, September 21 - 24, 2022},
  pages        = {9--15},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3537674.3554756},
  doi          = {10.1145/3537674.3554756},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigite/FongGCBH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/SaeediFGC22,
  author       = {Sirwe Saeedi and
                  Alvis Cheuk M. Fong and
                  Ajay Gupta and
                  Steve Carr},
  editor       = {Hisao Ishibuchi and
                  Chee{-}Keong Kwoh and
                  Ah{-}Hwee Tan and
                  Dipti Srinivasan and
                  Chunyan Miao and
                  Anupam Trivedi and
                  Keeley A. Crockett},
  title        = {Reusable Toolkit for Natural Language Processing in an Ambient Intelligence
                  Environment},
  booktitle    = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2022,
                  Singapore, December 4-7, 2022},
  pages        = {429--435},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SSCI51031.2022.10022225},
  doi          = {10.1109/SSCI51031.2022.10022225},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssci/SaeediFGC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-10950,
  author       = {Georgios Bakirtzis and
                  Steven Carr and
                  David Danks and
                  Ufuk Topcu},
  title        = {Dynamic Certification for Autonomous Systems},
  journal      = {CoRR},
  volume       = {abs/2203.10950},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.10950},
  doi          = {10.48550/ARXIV.2203.10950},
  eprinttype    = {arXiv},
  eprint       = {2203.10950},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-10950.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00755,
  author       = {Steven Carr and
                  Nils Jansen and
                  Sebastian Junges and
                  Ufuk Topcu},
  title        = {Safe Reinforcement Learning via Shielding for POMDPs},
  journal      = {CoRR},
  volume       = {abs/2204.00755},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.00755},
  doi          = {10.48550/ARXIV.2204.00755},
  eprinttype    = {arXiv},
  eprint       = {2204.00755},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-00755.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/WaldockLPWBMMWL21,
  author       = {Kirsty A. M. Waldock and
                  Ben J. Lee and
                  Steven Powell and
                  Sophie L. Wardle and
                  Sam D. Blacker and
                  Stephen D. Myers and
                  Tessa D. Maroni and
                  Faye S. Walker and
                  David P. Looney and
                  Julie P. Greeves and
                  Adam W. Potter},
  title        = {Field validation of The Heat Strain Decision Aid during military load
                  carriage},
  journal      = {Comput. Biol. Medicine},
  volume       = {134},
  pages        = {104506},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.compbiomed.2021.104506},
  doi          = {10.1016/J.COMPBIOMED.2021.104506},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cbm/WaldockLPWBMMWL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/MoioliNBSHSSDSL21,
  author       = {Renan Cipriano Moioli and
                  Pedro H. J. Nardelli and
                  Michael Taynnan Barros and
                  Walid Saad and
                  Amin Hekmatmanesh and
                  Pedro E. G{\'{o}}ria Silva and
                  Arthur Sousa de Sena and
                  Merim Dzaferagic and
                  Harun Siljak and
                  Werner Van Leekwijck and
                  Dick Carrillo Melgarejo and
                  Steven Latr{\'{e}}},
  title        = {Neurosciences and Wireless Networks: The Potential of Brain-Type Communications
                  and Their Applications},
  journal      = {{IEEE} Commun. Surv. Tutorials},
  volume       = {23},
  number       = {3},
  pages        = {1599--1621},
  year         = {2021},
  url          = {https://doi.org/10.1109/COMST.2021.3090778},
  doi          = {10.1109/COMST.2021.3090778},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsur/MoioliNBSHSSDSL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Carr0T21,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ufuk Topcu},
  title        = {Task-Aware Verifiable RNN-Based Policies for Partially Observable
                  Markov Decision Processes},
  journal      = {J. Artif. Intell. Res.},
  volume       = {72},
  pages        = {819--847},
  year         = {2021},
  url          = {https://doi.org/10.1613/jair.1.12963},
  doi          = {10.1613/JAIR.1.12963},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/Carr0T21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/AlekseyenkoHFCP21,
  author       = {Alexander V. Alekseyenko and
                  Bashir Hamidi and
                  Trevor D. Faith and
                  Keith A. Crandall and
                  Jennifer G. Powers and
                  Christopher Metts and
                  James E. Madory and
                  Steven L. Carroll and
                  Jihad S. Obeid and
                  Leslie A. Lenert},
  title        = {Each patient is a research biorepository: informatics-enabled research
                  on surplus clinical specimens via the living BioBank},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {28},
  number       = {1},
  pages        = {138--143},
  year         = {2021},
  url          = {https://doi.org/10.1093/jamia/ocaa236},
  doi          = {10.1093/JAMIA/OCAA236},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/AlekseyenkoHFCP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcns/BharadwajCNT21,
  author       = {Suda Bharadwaj and
                  Steven Carr and
                  Natasha A. Neogi and
                  Ufuk Topcu},
  title        = {Decentralized Control Synthesis for Air Traffic Management in Urban
                  Air Mobility},
  journal      = {{IEEE} Trans. Control. Netw. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {598--608},
  year         = {2021},
  url          = {https://doi.org/10.1109/TCNS.2021.3059847},
  doi          = {10.1109/TCNS.2021.3059847},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcns/BharadwajCNT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aipr/MohadikarDC21,
  author       = {Payal Mohadikar and
                  Ye Duan and
                  Steven Carr},
  title        = {Brain Intracranial Hemorrhage Segmentation using Unsupervised Learning
                  on Volume {CT} Images},
  booktitle    = {50th {IEEE} Applied Imagery Pattern Recognition Workshop, {AIPR} 2021,
                  Washington, DC, USA, October 12-14, 2021},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/AIPR52630.2021.9762171},
  doi          = {10.1109/AIPR52630.2021.9762171},
  timestamp    = {Mon, 02 May 2022 11:47:01 +0200},
  biburl       = {https://dblp.org/rec/conf/aipr/MohadikarDC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/CarrellA21,
  author       = {Steven Carrell and
                  Amir Atapour Abarghouei},
  editor       = {Yixin Chen and
                  Heiko Ludwig and
                  Yicheng Tu and
                  Usama M. Fayyad and
                  Xingquan Zhu and
                  Xiaohua Hu and
                  Suren Byna and
                  Xiong Liu and
                  Jianping Zhang and
                  Shirui Pan and
                  Vagelis Papalexakis and
                  Jianwu Wang and
                  Alfredo Cuzzocrea and
                  Carlos Ordonez},
  title        = {Identification of Driver Phone Usage Violations via State-of-the-Art
                  Object Detection with Tracking},
  booktitle    = {2021 {IEEE} International Conference on Big Data (Big Data), Orlando,
                  FL, USA, December 15-18, 2021},
  pages        = {1236--1241},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/BigData52589.2021.9671378},
  doi          = {10.1109/BIGDATA52589.2021.9671378},
  timestamp    = {Fri, 13 Jan 2023 17:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/CarrellA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/0001WCKJLDBHV21,
  author       = {Steven Baker and
                  Jenny Waycott and
                  Romina Carrasco and
                  Ryan M. Kelly and
                  Anthony John Jones and
                  Jack Lilley and
                  Briony Dow and
                  Frances Batchelor and
                  Thuong N. Hoang and
                  Frank Vetere},
  editor       = {Yoshifumi Kitamura and
                  Aaron Quigley and
                  Katherine Isbister and
                  Takeo Igarashi and
                  Pernille Bj{\o}rn and
                  Steven Mark Drucker},
  title        = {Avatar-Mediated Communication in Social {VR:} An In-depth Exploration
                  of Older Adult Interaction in an Emerging Communication Platform},
  booktitle    = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
                  Virtual Event / Yokohama, Japan, May 8-13, 2021},
  pages        = {491:1--491:13},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3411764.3445752},
  doi          = {10.1145/3411764.3445752},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/0001WCKJLDBHV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/Al-MaweeCM21,
  author       = {Wassnaa Al{-}Mawee and
                  Steve Carr and
                  Jean Mayo},
  editor       = {Paolo Mori and
                  Gabriele Lenzini and
                  Steven Furnell},
  title        = {Admonita: {A} Recommendation-based Trust Model for Dynamic Data Integrity},
  booktitle    = {Proceedings of the 7th International Conference on Information Systems
                  Security and Privacy, {ICISSP} 2021, Online Streaming, February 11-13,
                  2021},
  pages        = {273--282},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010150402730282},
  doi          = {10.5220/0010150402730282},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icissp/Al-MaweeCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/CarrQBSPYB0T21,
  author       = {Steven Carr and
                  Jesse Quattrociocchi and
                  Suda Bharadwaj and
                  Steven J. Spencer and
                  Anup Parikh and
                  Carol C. Young and
                  Stephen P. Buerger and
                  Bo Wu and
                  Ufuk Topcu},
  title        = {Decentralized Classification with Assume-Guarantee Planning},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
  pages        = {9826--9832},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IROS51168.2021.9636177},
  doi          = {10.1109/IROS51168.2021.9636177},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/CarrQBSPYB0T21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WalkerCRHCMS21,
  author       = {James W. Walker and
                  Steven Carr and
                  Ahmed Radwan and
                  Yu{-}Hsiang Hu and
                  Yu Chin Cheng and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  editor       = {Carsten Schulte and
                  Brett A. Becker and
                  Monica Divitini and
                  Erik Barendsen},
  title        = {A Visualization for Teaching Integer Coercion},
  booktitle    = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
                  and Technology in Computer Science Education V.2, Virtual Event, Germany,
                  June 26 - July 1, 2021},
  pages        = {640},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3456565.3460051},
  doi          = {10.1145/3456565.3460051},
  timestamp    = {Tue, 28 May 2024 17:11:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iticse/WalkerCRHCMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/CarrilloW21,
  author       = {Juan Carrillo and
                  Steven L. Waslander},
  title        = {UrbanNet: Leveraging Urban Maps for Long Range 3D Object Detection},
  booktitle    = {24th {IEEE} International Intelligent Transportation Systems Conference,
                  {ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
  pages        = {3799--3806},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ITSC48978.2021.9564840},
  doi          = {10.1109/ITSC48978.2021.9564840},
  timestamp    = {Wed, 03 Nov 2021 08:38:45 +0100},
  biburl       = {https://dblp.org/rec/conf/itsc/CarrilloW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/Carr0BST21,
  author       = {Steven Carr and
                  Nils Jansen and
                  Sudarshanan Bharadwaj and
                  Matthijs T. J. Spaan and
                  Ufuk Topcu},
  editor       = {Dylan A. Shell and
                  Marc Toussaint and
                  M. Ani Hsieh},
  title        = {Safe Policies for Factored Partially Observable Stochastic Games},
  booktitle    = {Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021},
  year         = {2021},
  url          = {https://doi.org/10.15607/RSS.2021.XVII.079},
  doi          = {10.15607/RSS.2021.XVII.079},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rss/Carr0BST21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-11357,
  author       = {Andr{\'{e}} M. Carrington and
                  Douglas G. Manuel and
                  Paul W. Fieguth and
                  Tim Ramsay and
                  Venet Osmani and
                  Bernhard Wernly and
                  Carol Bennett and
                  Steven Hawken and
                  Matthew McInnes and
                  Olivia Magwood and
                  Yusuf Sheikh and
                  Andreas Holzinger},
  title        = {Deep {ROC} Analysis and {AUC} as Balanced Average Accuracy to Improve
                  Model Selection, Understanding and Interpretation},
  journal      = {CoRR},
  volume       = {abs/2103.11357},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.11357},
  eprinttype    = {arXiv},
  eprint       = {2103.11357},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-11357.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-02119,
  author       = {Steven Carrell and
                  Amir Atapour Abarghouei},
  title        = {Identification of Driver Phone Usage Violations via State-of-the-Art
                  Object Detection with Tracking},
  journal      = {CoRR},
  volume       = {abs/2109.02119},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.02119},
  eprinttype    = {arXiv},
  eprint       = {2109.02119},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-02119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05561,
  author       = {Juan Carrillo and
                  Steven L. Waslander},
  title        = {UrbanNet: Leveraging Urban Maps for Long Range 3D Object Detection},
  journal      = {CoRR},
  volume       = {abs/2110.05561},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.05561},
  eprinttype    = {arXiv},
  eprint       = {2110.05561},
  timestamp    = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-05561.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/brain/CarriereLMBAPLH20,
  author       = {Manon Carri{\`{e}}re and
                  Stephen Karl Larroque and
                  Charlotte Martial and
                  Mohamed Ali Bahri and
                  Charl{\`{e}}ne Aubinet and
                  Fabien Perrin and
                  Steven Laureys and
                  Lizette Heine},
  title        = {An Echo of Consciousness: Brain Function During Preferred Music},
  journal      = {Brain Connect.},
  volume       = {10},
  number       = {7},
  pages        = {385--395},
  year         = {2020},
  url          = {https://doi.org/10.1089/brain.2020.0744},
  doi          = {10.1089/BRAIN.2020.0744},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/brain/CarriereLMBAPLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/brain/RudasMCDMCASLG20,
  author       = {Jorge Rudas and
                  Darwin Mart{\'{\i}}nez and
                  Gabriel Castellanos and
                  Athena Demertzi and
                  Charlotte Martial and
                  Manon Carri{\`{e}}re and
                  Charl{\`{e}}ne Aubinet and
                  Andrea Soddu and
                  Steven Laureys and
                  Francisco G{\'{o}}mez},
  title        = {Time-Delay Latency of Resting-State Blood Oxygen Level-Dependent Signal
                  Related to the Level of Consciousness in Patients with Severe Consciousness
                  Impairment},
  journal      = {Brain Connect.},
  volume       = {10},
  number       = {2},
  pages        = {83--94},
  year         = {2020},
  url          = {https://doi.org/10.1089/brain.2019.0716},
  doi          = {10.1089/BRAIN.2019.0716},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/brain/RudasMCDMCASLG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hij/WengTTDACCMH20,
  author       = {Yingjie Weng and
                  Lu Tian and
                  Dario Tedesco and
                  Karishma Desai and
                  Steven M. Asch and
                  Ian Carroll and
                  Catherine M. Curtin and
                  Kathryn M. McDonald and
                  Tina Hernandez{-}Boussard},
  title        = {Trajectory analysis for postoperative pain using electronic health
                  records: {A} nonparametric method with robust linear regression and
                  K-medians cluster analysis},
  journal      = {Health Informatics J.},
  volume       = {26},
  number       = {2},
  pages        = {1404--1418},
  year         = {2020},
  url          = {https://doi.org/10.1177/1460458219881339},
  doi          = {10.1177/1460458219881339},
  timestamp    = {Fri, 06 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/hij/WengTTDACCMH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipm/BakerWRCNHV20,
  author       = {Steven Baker and
                  Jenny Waycott and
                  Elena Robertson and
                  Romina Carrasco and
                  B{\'{a}}rbara Barbosa Neves and
                  Ralph Hampson and
                  Frank Vetere},
  title        = {Evaluating the use of interactive virtual reality technology with
                  older adults living in residential aged care},
  journal      = {Inf. Process. Manag.},
  volume       = {57},
  number       = {3},
  pages        = {102105},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ipm.2019.102105},
  doi          = {10.1016/J.IPM.2019.102105},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipm/BakerWRCNHV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/TurroAMGGSASFTS20,
  author       = {Ernest Turro and
                  William J. Astle and
                  Karyn Megy and
                  Stefan Gr{\"{a}}f and
                  Daniel Greene and
                  Olga Shamardina and
                  Hana Lango Allen and
                  Alba Sanchis{-}Juan and
                  Mattia Frontini and
                  Chantal Thys and
                  Jonathan Stephens and
                  Rutendo Mapeta and
                  Oliver S. Burren and
                  Kate Downes and
                  Matthias Haimel and
                  Salih Tuna and
                  Sri V. V. Deevi and
                  Timothy J. Aitman and
                  David L. H. Bennett and
                  Paul Calleja and
                  Keren Carss and
                  Mark J. Caulfield and
                  Patrick F. Chinnery and
                  Peter H. Dixon and
                  Daniel P. Gale and
                  Roger James and
                  Ania Koziell and
                  Michael A. Laffan and
                  Adam P. Levine and
                  Eamonn R. Maher and
                  Hugh S. Markus and
                  Joannella Morales and
                  Nicholas W. Morrell and
                  Andrew D. Mumford and
                  Elizabeth Ormondroyd and
                  Stuart Rankin and
                  Augusto Rendon and
                  Sylvia Richardson and
                  Irene Roberts and
                  Noemi B. A. Roy and
                  Moin A. Saleem and
                  Kenneth G. C. Smith and
                  Hannah Stark and
                  Rhea Y. Y. Tan and
                  Andreas C. Themistocleous and
                  Adrian J. Thrasher and
                  Hugh Watkins and
                  Andrew R. Webster and
                  Martin R. Wilkins and
                  Catherine Williamson and
                  James Whitworth and
                  Sean Humphray and
                  David R. Bentley and
                  Stephen Abbs and
                  Lara Abulhoul and
                  Julian Adlard and
                  Munaza Ahmed and
                  Hana Alachkar and
                  David J. Allsup and
                  Jeff Almeida{-}King and
                  Philip Ancliff and
                  Richard Antrobus and
                  Ruth Armstrong and
                  Gavin Arno and
                  Sofie Ashford and
                  Anthony Attwood and
                  Paul Aurora and
                  Christian Babbs and
                  Chiara Bacchelli and
                  Tamam Bakchoul and
                  Siddharth Banka and
                  Tadbir Bariana and
                  Julian Barwell and
                  Joana Batista and
                  Helen E. Baxendale and
                  Phil L. Beales and
                  Agnieszka Bierzynska and
                  Tina Biss and
                  Maria A. K. Bitner{-}Glindzicz and
                  Graeme C. M. Black and
                  Marta Bleda and
                  Iulia Blesneac and
                  Detlef Bockenhauer and
                  Harm Bogaard and
                  Christian J. Bourne and
                  Sara Boyce and
                  John R. Bradley and
                  Eugene Bragin and
                  Gerome Breen and
                  Paul Brennan and
                  Carole Brewer and
                  Matthew Brown and
                  Andrew C. Browning and
                  Michael J. Browning and
                  Rachel J. Buchan and
                  Matthew S. Buckland and
                  Teofila Bueser and
                  Carmen Bugarin Diz and
                  John Burn and
                  Siobhan O. Burns and
                  Nigel Burrows and
                  Carolyn Campbell and
                  Gerald Carr{-}White and
                  Ruth Casey and
                  Jenny Chambers and
                  John Chambers and
                  Melanie M. Y. Chan and
                  Calvin Cheah and
                  Floria Cheng and
                  Manali Chitre and
                  Martin T. Christian and
                  Colin Church and
                  Jill Clayton{-}Smith and
                  Maureen Cleary and
                  Naomi Clements Brod and
                  Gerry Coghlan and
                  Elizabeth Colby and
                  Trevor R. P. Cole and
                  Janine Collins and
                  Peter W. Collins and
                  Camilla Colombo and
                  Cecilia J. Compton and
                  Robin Condliffe and
                  Stuart A. Cook and
                  H. Terence Cook and
                  Nichola Cooper and
                  Paul A. Corris and
                  Abigail Furnell and
                  Fiona Cunningham and
                  Nicola S. Curry and
                  Antony J. Cutler and
                  Matthew J. Daniels and
                  Mehul Dattani and
                  Louise C. Daugherty and
                  John Davis and
                  Anthony De Soyza and
                  Timothy Dent and
                  Charu Deshpande and
                  Eleanor F. Dewhurst and
                  Sofia Douzgou and
                  Anna M. Drazyk and
                  Elizabeth Drewe and
                  Daniel Duarte and
                  Tina Dutt and
                  J. David M. Edgar and
                  Karen Edwards and
                  William Egner and
                  Melanie N. Ekani and
                  Perry Elliott and
                  Wendy N. Erber and
                  Marie Erwood and
                  Maria C. Estiu and
                  Dafydd Gareth Evans and
                  Gillian Evans and
                  Tamara Everington and
                  M{\'{e}}lanie Eyries and
                  Hiva Fassihi and
                  Remi Favier and
                  Jack Findhammer and
                  Debra Fletcher and
                  Frances A. Flinter and
                  R. Andres Floto and
                  Tom Fowler and
                  James Fox and
                  Amy J. Frary and
                  Courtney E. French and
                  Kathleen Freson and
                  Henning Gall and
                  Vijeya Ganesan and
                  Michael Gattens and
                  Claire Geoghegan and
                  Terence S. A. Gerighty and
                  Ali G. Gharavi and
                  Stefano Ghio and
                  Hossein{-}Ardeschir Ghofrani and
                  J. Simon R. Gibbs and
                  Kate Gibson and
                  Kimberly C. Gilmour and
                  Barbara Girerd and
                  Nicholas S. Gleadall and
                  Sarah Goddard and
                  David B. Goldstein and
                  Keith Gomez and
                  Pavels Gordins and
                  David Gosal and
                  Jodie Graham and
                  Luigi Grassi and
                  Lynn Greenhalgh and
                  Andreas Greinacher and
                  Paolo Gresele and
                  Philip Griffiths and
                  Sofia Grigoriadou and
                  Russell J. Grocock and
                  Detelina Grozeva and
                  Mark Gurnell and
                  Scott Hackett and
                  Charaka Hadinnapola and
                  William M. Hague and
                  Rosie Hague and
                  Matthew Hall and
                  Helen L. Hanson and
                  Eshika Haque and
                  Kirsty Harkness and
                  Andrew R. Harper and
                  Claire L. Harris and
                  Daniel Hart and
                  Ahamad Hassan and
                  Grant Hayman and
                  Alex Henderson and
                  Archana Herwadkar and
                  Jonathan Hoffman and
                  Simon Holden and
                  Rita Horvath and
                  Henry Houlden and
                  Arjan C. Houweling and
                  Luke S. G. E. Howard and
                  Fengyuan Hu and
                  Gavin Hudson and
                  Joseph Hughes and
                  Aarnoud P. Huissoon and
                  Marc Humbert and
                  Sarah Hunter and
                  Matthew E. Hurles and
                  Melita Irving and
                  Louise Izatt and
                  Sally A. Johnson and
                  Stephen Jolles and
                  Jennifer Jolley and
                  Dragana Josifova and
                  Neringa Jurkute and
                  Tim Karten and
                  Johannes Karten and
                  Mary A. Kasanicki and
                  Hanadi Kazkaz and
                  Rashid Kazmi and
                  Peter Kelleher and
                  Anne M. Kelly and
                  Wilf Kelsall and
                  Carly Kempster and
                  David G. Kiely and
                  Nathalie Kingston and
                  Robert Klima and
                  Nils Koelling and
                  Myrto Kostadima and
                  Gabor Kovacs and
                  Roman Kreuzhuber and
                  Taco W. Kuijpers and
                  Ajith Kumar and
                  Dinakantha Kumararatne and
                  Manju A. Kurian and
                  Fiona Lalloo and
                  Michele Lambert and
                  Allan Lawrie and
                  D. Mark Layton and
                  Nick Lench and
                  Claire Lentaigne and
                  Tracy Lester and
                  Rachel Linger and
                  Hilary Longhurst and
                  Lorena E. Lorenzo and
                  Eleni Louka and
                  Paul A. Lyons and
                  Rajiv D. Machado and
                  Robert V. MacKenzie Ross and
                  Bella Madan and
                  Jesmeen Maimaris and
                  Samantha Malka and
                  Sarah Mangles and
                  Kevin J. Marchbank and
                  Stephen Marks and
                  Hanns{-}Ulrich Marschall and
                  Andrew G. Marshall and
                  Jennifer Martin and
                  Mary Mathias and
                  Emma Matthews and
                  Heather Maxwell and
                  Paul McAlinden and
                  Mark I. McCarthy and
                  Harriet McKinney and
                  Aoife McMahon and
                  Stuart Meacham and
                  Adam J. Mead and
                  Ignacio Medina Castello and
                  Sarju G. Mehta and
                  Michel Michaelides and
                  Carolyn Millar and
                  Shehla N. Mohammed and
                  Shahin Moledina and
                  David Montani and
                  Anthony T. Moore and
                  Monika Mozere and
                  Keith W. Muir and
                  Andrea H. Nemeth and
                  William G. Newman and
                  Michael Newnham and
                  Sadia Noorani and
                  Paquita Nurden and
                  Jennifer O'Sullivan and
                  Samya Obaji and
                  Chris Odhams and
                  Steven Okoli and
                  Andrea Olschewski and
                  Horst Olschewski and
                  Kai Ren Ong and
                  S. Helen Oram and
                  Willem H. Ouwehand and
                  Claire Palles and
                  Sofia Papadia and
                  Soo{-}Mi Park and
                  David Parry and
                  Smita Patel and
                  Joan Paterson and
                  Andrew Peacock and
                  Simon H. Pearce and
                  John Peden and
                  Kathelijne Peerlinck and
                  Christopher J. Penkett and
                  Joanna Pepke{-}Zaba and
                  Romina Petersen and
                  Clarissa Pilkington and
                  Kenneth E. S. Poole and
                  Radhika Prathalingam and
                  Bethan Psaila and
                  Angela Pyle and
                  Richard Quinton and
                  Shamima Rahman and
                  Anupama Rao and
                  F. Lucy Raymond and
                  Paula J. Rayner{-}Matthews and
                  Christine Rees and
                  Tara Renton and
                  Christopher J. Rhodes and
                  Andrew S. C. Rice and
                  Alex Richter and
                  Leema Robert and
                  Anthony Rogers and
                  Sarah J. Rose and
                  Robert Ross{-}Russell and
                  Catherine Roughley and
                  Deborah M. Ruddy and
                  Omid Sadeghi{-}Alavijeh and
                  Nilesh J. Samani and
                  Crina Samarghitean and
                  Ravishankar B. Sargur and
                  Robert N. Sarkany and
                  Simon Satchell and
                  Sinisa Savic and
                  John A. Sayer and
                  Genevieve Sayer and
                  Laura Scelsi and
                  Andrew M. Schaefer and
                  Sol Schulman and
                  Richard Scott and
                  Marie Scully and
                  Claire Searle and
                  Werner Seeger and
                  Arjune Sen and
                  W. A. Carrock Sewell and
                  Denis Seyres and
                  Neil Shah and
                  Susan E. Shapiro and
                  Adam C. Shaw and
                  Patrick J. Short and
                  Keith Sibson and
                  Lucy Side and
                  Ilenia Simeoni and
                  Michael A. Simpson and
                  Matthew C. Sims and
                  Suthesh Sivapalaratnam and
                  Damian Smedley and
                  Katherine R. Smith and
                  Katie Snape and
                  Nicole Soranzo and
                  Florent Soubrier and
                  Laura Southgate and
                  Olivera Spasic{-}Boskovic and
                  Simon Staines and
                  Emily Staples and
                  Charles A. Steward and
                  Kathleen E. Stirrups and
                  Alex Stuckey and
                  Jay Suntharalingam and
                  Emilia M. Swietlik and
                  Petros Syrris and
                  R. Campbell Tait and
                  Kate Talks and
                  Katie Tate and
                  John M. Taylor and
                  Jenny C. Taylor and
                  James E. Thaventhiran and
                  Ellen Thomas and
                  David Thomas and
                  Moira J. Thomas and
                  Patrick Thomas and
                  Kate Thomson and
                  Glen Threadgold and
                  Tobias Tilly and
                  Marc Tischkowitz and
                  Catherine Titterton and
                  John A. Todd and
                  Cheng{-}Hock Toh and
                  Bas Tolhuis and
                  Ian P. Tomlinson and
                  Mark Toshner and
                  Matthew Traylor and
                  Carmen Treacy and
                  Paul Treadaway and
                  Richard Trembath and
                  Wojciech Turek and
                  Philip Twiss and
                  Tom Vale and
                  Chris Van Geet and
                  Natalie van Zuydam and
                  Maarten Vandekuilen and
                  Anthony M. Vandersteen and
                  Marta Vazquez{-}Lopez and
                  Julie von Ziegenweidt and
                  Anton Vonk{-}Noordegraaf and
                  Annette Wagner and
                  Quinten Waisfisz and
                  Suellen M. Walker and
                  Neil Walker and
                  Klaudia Walter and
                  James S. Ware and
                  Christopher Watt and
                  Lucy Wedderburn and
                  Wei Wei and
                  Steven B. Welch and
                  Julie Wessels and
                  Sarah K. Westbury and
                  John{-}Paul Westwood and
                  John Wharton and
                  Deborah Whitehorn and
                  Andrew O. M. Wilkie and
                  Brian T. Wilson and
                  Edwin K. S. Wong and
                  Nicholas W. Wood and
                  Yvette Wood and
                  Christopher Geoffrey Woods and
                  Emma R. Woodward and
                  Stephen J. Wort and
                  Austen Worth and
                  Michael Wright and
                  Katherine Yates and
                  Patrick F. K. Yong and
                  Timothy Young and
                  Ping Yu and
                  Patrick Yu{-}Wai{-}Man and
                  Eliska Zlamalova},
  title        = {Whole-genome sequencing of patients with rare diseases in a national
                  health system},
  journal      = {Nat.},
  volume       = {583},
  number       = {7814},
  pages        = {96--102},
  year         = {2020},
  url          = {https://doi.org/10.1038/s41586-020-2434-2},
  doi          = {10.1038/S41586-020-2434-2},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nature/TurroAMGGSASFTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oir/WolvertonS20,
  author       = {Colleen Carraher Wolverton and
                  David Stevens},
  title        = {The impact of personality in recognizing disinformation},
  journal      = {Online Inf. Rev.},
  volume       = {44},
  number       = {1},
  pages        = {181--191},
  year         = {2020},
  url          = {https://doi.org/10.1108/OIR-04-2019-0115},
  doi          = {10.1108/OIR-04-2019-0115},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/oir/WolvertonS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/00010WCBJHOV20,
  author       = {Steven Baker and
                  Ryan M. Kelly and
                  Jenny Waycott and
                  Romina Carrasco and
                  Roger Bell and
                  Zaher Joukhadar and
                  Thuong N. Hoang and
                  Elizabeth Ozanne and
                  Frank Vetere},
  title        = {School's Back: Scaffolding Reminiscence in Social Virtual Reality
                  with Older Adults},
  journal      = {Proc. {ACM} Hum. Comput. Interact.},
  volume       = {4},
  number       = {{CSCW3}},
  pages        = {1--25},
  year         = {2020},
  url          = {https://doi.org/10.1145/3434176},
  doi          = {10.1145/3434176},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmhci/00010WCBJHOV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/LarsonIFTDBKMNS20,
  author       = {Jonathan Larson and
                  Paul Isihara and
                  Gabriel Flores and
                  Edwin Townsend and
                  Danilo R. Diedrichs and
                  Christy Baars and
                  Steven Kwon and
                  Will McKinnon and
                  Joseph Nussbaum and
                  Carrie Steggerda and
                  Joyce Yan},
  title        = {A priori assessment of a smart-navigated unmanned aerial vehicle disaster
                  cargo fleet},
  journal      = {Simul.},
  volume       = {96},
  number       = {8},
  year         = {2020},
  url          = {https://doi.org/10.1177/0037549720921447},
  doi          = {10.1177/0037549720921447},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simulation/LarsonIFTDBKMNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/OrnikCIT20,
  author       = {Melkior Ornik and
                  Steven Carr and
                  Arie Israel and
                  Ufuk Topcu},
  title        = {Control-Oriented Learning on the Fly},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {65},
  number       = {11},
  pages        = {4800--4807},
  year         = {2020},
  url          = {https://doi.org/10.1109/TAC.2019.2963293},
  doi          = {10.1109/TAC.2019.2963293},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/OrnikCIT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/0005CB0T20,
  author       = {Bo Wu and
                  Steven Carr and
                  Suda Bharadwaj and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Resilient Distributed Hypothesis Testing with Time-Varying Network
                  Topology},
  booktitle    = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July
                  1-3, 2020},
  pages        = {1483--1488},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/ACC45564.2020.9148036},
  doi          = {10.23919/ACC45564.2020.9148036},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/0005CB0T20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haptics/CutlipFG20,
  author       = {Steven Cutlip and
                  Jim Freudenberg and
                  R. Brent Gillespie},
  title        = {Respecting the Coupled Dynamics: Haptic Feedback Carries both Power
                  and Information},
  booktitle    = {2020 {IEEE} Haptics Symposium, {HAPTICS} 2020, Crystal City, VA, USA,
                  March 28-31, 2020},
  pages        = {718--723},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/HAPTICS45997.2020.ras.HAP20.10.e37f63b1},
  doi          = {10.1109/HAPTICS45997.2020.RAS.HAP20.10.E37F63B1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haptics/CutlipFG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/OniB20,
  author       = {Phillip B. Oni and
                  Steven D. Blostein},
  title        = {Optimized Carrier Sensing Thresholds for Dense mmWave Wireless Networks
                  Coexistence},
  booktitle    = {2020 {IEEE} International Conference on Communications, {ICC} 2020,
                  Dublin, Ireland, June 7-11, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICC40277.2020.9149331},
  doi          = {10.1109/ICC40277.2020.9149331},
  timestamp    = {Tue, 04 Aug 2020 10:37:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/OniB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarrJT20,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ufuk Topcu},
  editor       = {Christian Bessiere},
  title        = {Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {4121--4127},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/570},
  doi          = {10.24963/IJCAI.2020/570},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/CarrJT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/BosqueVWCNWM20,
  author       = {Romina Del Bosque and
                  Edith Valle and
                  Matthew D. Wilcox and
                  Travis Carrell and
                  Peter Nghiem and
                  Steven M. Wright and
                  Mary P. McDougall},
  title        = {Mr Imaging and Spectroscopy for Biomarker Characterization in Golden
                  Retriever Muscular Dystrophy Tissue Samples},
  booktitle    = {17th {IEEE} International Symposium on Biomedical Imaging, {ISBI}
                  2020, Iowa City, IA, USA, April 3-7, 2020},
  pages        = {1454--1458},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISBI45749.2020.9098706},
  doi          = {10.1109/ISBI45749.2020.9098706},
  timestamp    = {Wed, 04 Oct 2023 17:01:25 +0200},
  biburl       = {https://dblp.org/rec/conf/isbi/BosqueVWCNWM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/AbduLKC20,
  author       = {Tedros Salih Abdu and
                  Eva Lagunas and
                  Steven Kisseleff and
                  Symeon Chatzinotas},
  title        = {Carrier and Power Assignment for Flexible Broadband {GEO} Satellite
                  Communications System},
  booktitle    = {31st {IEEE} Annual International Symposium on Personal, Indoor and
                  Mobile Radio Communications, {PIMRC} 2020, London, United Kingdom,
                  August 31 - September 3, 2020},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/PIMRC48278.2020.9217197},
  doi          = {10.1109/PIMRC48278.2020.9217197},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pimrc/AbduLKC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CarrM20,
  author       = {Steve Carr and
                  Jean Mayo},
  editor       = {Jian Zhang and
                  Mark Sherriff and
                  Sarah Heckman and
                  Pamela A. Cutter and
                  Alvaro E. Monge},
  title        = {SecureCvisual: Visualization and Analysis for {C} Code Security},
  booktitle    = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
  pages        = {1418},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3328778.3372540},
  doi          = {10.1145/3328778.3372540},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/CarrM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/WalkerWCMS20,
  author       = {James W. Walker and
                  Man Wang and
                  Steve Carr and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  editor       = {Jian Zhang and
                  Mark Sherriff and
                  Sarah Heckman and
                  Pamela A. Cutter and
                  Alvaro E. Monge},
  title        = {A System for Visualizing the Process Address Space in the Context
                  of Teaching Secure Coding in {C}},
  booktitle    = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
  pages        = {1033--1039},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3328778.3366894},
  doi          = {10.1145/3328778.3366894},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/WalkerWCMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05615,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ufuk Topcu},
  title        = {Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints},
  journal      = {CoRR},
  volume       = {abs/2002.05615},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.05615},
  eprinttype    = {arXiv},
  eprint       = {2002.05615},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-05615.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01834,
  author       = {Renan Cipriano Moioli and
                  Pedro H. J. Nardelli and
                  Michael Taynnan Barros and
                  Walid Saad and
                  Amin Hekmatmanesh and
                  Pedro E. G{\'{o}}ria Silva and
                  Arthur Sousa de Sena and
                  Merim Dzaferagic and
                  Harun Siljak and
                  Werner Van Leekwijck and
                  Dick Carrillo and
                  Steven Latr{\'{e}}},
  title        = {Neurosciences and 6G: Lessons from and Needs of Communicative Brains},
  journal      = {CoRR},
  volume       = {abs/2004.01834},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.01834},
  eprinttype    = {arXiv},
  eprint       = {2004.01834},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-01834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-00164,
  author       = {Bo Wu and
                  Steven Carr and
                  Suda Bharadwaj and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying
                  Network Topology},
  journal      = {CoRR},
  volume       = {abs/2008.00164},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.00164},
  eprinttype    = {arXiv},
  eprint       = {2008.00164},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-00164.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iot/Al-HasnawiCG19,
  author       = {Abduljaleel Al{-}Hasnawi and
                  Steven M. Carr and
                  Ajay Gupta},
  title        = {Fog-based local and remote policy enforcement for preserving data
                  privacy in the Internet of Things},
  journal      = {Internet Things},
  volume       = {7},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.iot.2019.100069},
  doi          = {10.1016/J.IOT.2019.100069},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iot/Al-HasnawiCG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/WuPCMCVLM19,
  author       = {Guo{-}Rong Wu and
                  Carol Di Perri and
                  Vanessa Charland{-}Verville and
                  Charlotte Martial and
                  Manon Carri{\`{e}}re and
                  Audrey Vanhaudenhuyse and
                  Steven Laureys and
                  Daniele Marinazzo},
  title        = {Modulation of the spontaneous hemodynamic response function across
                  levels of consciousness},
  journal      = {NeuroImage},
  volume       = {200},
  pages        = {450--459},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.neuroimage.2019.07.011},
  doi          = {10.1016/J.NEUROIMAGE.2019.07.011},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/WuPCMCVLM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/BakerKWCHBODWV19,
  author       = {Steven Baker and
                  Ryan M. Kelly and
                  Jenny Waycott and
                  Romina Carrasco and
                  Thuong N. Hoang and
                  Frances Batchelor and
                  Elizabeth Ozanne and
                  Briony Dow and
                  Jeni Warburton and
                  Frank Vetere},
  title        = {Interrogating Social Virtual Reality as a Communication Medium for
                  Older Adults},
  journal      = {Proc. {ACM} Hum. Comput. Interact.},
  volume       = {3},
  number       = {{CSCW}},
  pages        = {149:1--149:24},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359251},
  doi          = {10.1145/3359251},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmhci/BakerKWCHBODWV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/AnW19,
  author       = {Ni An and
                  Steven Weber},
  title        = {Efficiency and Detectability of Random Reactive Jamming in Carrier
                  Sense Wireless Networks},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {67},
  number       = {10},
  pages        = {6925--6938},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCOMM.2019.2930245},
  doi          = {10.1109/TCOMM.2019.2930245},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/AnW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMdis/0001WCHV19,
  author       = {Steven Baker and
                  Jenny Waycott and
                  Romina Carrasco and
                  Thuong N. Hoang and
                  Frank Vetere},
  editor       = {Steve Harrison and
                  Shaowen Bardzell and
                  Carman Neustaedter and
                  Deborah G. Tatar},
  title        = {Exploring the Design of Social {VR} Experiences with Older Adults},
  booktitle    = {Proceedings of the 2019 on Designing Interactive Systems Conference,
                  {DIS} 2019, San Diego, CA, USA, June 23-28, 2019},
  pages        = {303--315},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3322276.3322361},
  doi          = {10.1145/3322276.3322361},
  timestamp    = {Fri, 17 Nov 2023 08:06:23 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMdis/0001WCHV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/OrnikCIT19,
  author       = {Melkior Ornik and
                  Steven Carr and
                  Arie Israel and
                  Ufuk Topcu},
  title        = {Myopic Control of Systems with Unknown Dynamics},
  booktitle    = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
                  July 10-12, 2019},
  pages        = {1064--1071},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/ACC.2019.8814482},
  doi          = {10.23919/ACC.2019.8814482},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/OrnikCIT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LeeHSC19,
  author       = {Sooyeon Lee and
                  Bjorn Hubert{-}Wallander and
                  Molly Stevens and
                  John M. Carroll},
  editor       = {Stephen A. Brewster and
                  Geraldine Fitzpatrick and
                  Anna L. Cox and
                  Vassilis Kostakos},
  title        = {Understanding and Designing for Deaf or Hard of Hearing Drivers on
                  Uber},
  booktitle    = {Proceedings of the 2019 {CHI} Conference on Human Factors in Computing
                  Systems, {CHI} 2019, Glasgow, Scotland, UK, May 04-09, 2019},
  pages        = {529},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290605.3300759},
  doi          = {10.1145/3290605.3300759},
  timestamp    = {Mon, 27 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/LeeHSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/CarrellGMW19,
  author       = {Travis Carrell and
                  Minyu Gu and
                  Mary P. McDougall and
                  Steven M. Wright},
  title        = {Feasibility of Using a 1T Extremity Scanner with a Four-Element Array
                  to Detect \({}^{\mbox{31}}\)P in the Human Calf},
  booktitle    = {41st Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2019, Berlin, Germany, July 23-27,
                  2019},
  pages        = {6806--6809},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EMBC.2019.8857122},
  doi          = {10.1109/EMBC.2019.8857122},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/CarrellGMW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/IsmailL19,
  author       = {Jawad Ismail and
                  Steven Liu},
  title        = {Control-Oriented Modeling and Analysis of a Flexible Beam Carrying
                  a Moving Mass},
  booktitle    = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
                  25-28, 2019},
  pages        = {2406--2411},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/ECC.2019.8795933},
  doi          = {10.23919/ECC.2019.8795933},
  timestamp    = {Thu, 11 Feb 2021 14:14:57 +0100},
  biburl       = {https://dblp.org/rec/conf/eucc/IsmailL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/Al-MaweeBCM19,
  author       = {Wassnaa Al{-}Mawee and
                  Paul J. Bonamy and
                  Steve Carr and
                  Jean Mayo},
  editor       = {Paolo Mori and
                  Steven Furnell and
                  Olivier Camp},
  title        = {Maia: {A} Language for Mandatory Integrity Controls of Structured
                  Data},
  booktitle    = {Proceedings of the 5th International Conference on Information Systems
                  Security and Privacy, {ICISSP} 2019, Prague, Czech Republic, February
                  23-25, 2019},
  pages        = {257--265},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007344802570265},
  doi          = {10.5220/0007344802570265},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icissp/Al-MaweeBCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Carr0WS0T19,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ralf Wimmer and
                  Alexandru Constantin Serban and
                  Bernd Becker and
                  Ufuk Topcu},
  editor       = {Sarit Kraus},
  title        = {Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent
                  Neural Networks},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {5532--5539},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/768},
  doi          = {10.24963/IJCAI.2019/768},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Carr0WS0T19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WalkerWCMS19,
  author       = {James W. Walker and
                  Man Wang and
                  Steven Carr and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  editor       = {Bruce Scharlau and
                  Roger McDermott and
                  Arnold Pears and
                  Mihaela Sabin},
  title        = {Teaching Integer Security Using Simple Visualizations},
  booktitle    = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, Aberdeen, Scotland, UK, July 15-17,
                  2019},
  pages        = {513--519},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3304221.3319760},
  doi          = {10.1145/3304221.3319760},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/WalkerWCMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BharadwajCNPCT19,
  author       = {Suda Bharadwaj and
                  Steven Carr and
                  Natasha A. Neogi and
                  Hasan Poonawala and
                  Alejandro Barberia Chueca and
                  Ufuk Topcu},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {Traffic Management for Urban Air Mobility},
  booktitle    = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
                  Houston, TX, USA, May 7-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11460},
  pages        = {71--87},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20652-9\_5},
  doi          = {10.1007/978-3-030-20652-9\_5},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/BharadwajCNPCT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xsede/HartSAPLCBS19,
  author       = {David L. Hart and
                  Ester Soriano and
                  Carrie Arnold and
                  Steven Peckins and
                  Rob Light and
                  Burt Cubbison and
                  Josh Berger and
                  Michael Shapiro},
  editor       = {Thomas R. Furlani},
  title        = {{XSEDE} Integration with {ORCID} for Research Resources},
  booktitle    = {Proceedings of the Practice and Experience in Advanced Research Computing
                  on Rise of the Machines (learning), {PEARC} 2019, Chicago, IL, USA,
                  July 28 - August 01, 2019},
  pages        = {127:1--127:3},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3332186.3333252},
  doi          = {10.1145/3332186.3333252},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/xsede/HartSAPLCBS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08428,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ralf Wimmer and
                  Alexandru Constantin Serban and
                  Bernd Becker and
                  Ufuk Topcu},
  title        = {Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent
                  Neural Networks},
  journal      = {CoRR},
  volume       = {abs/1903.08428},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.08428},
  eprinttype    = {arXiv},
  eprint       = {1903.08428},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-08428.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/RybdylovaSOKBH18,
  author       = {Oyuna Rybdylova and
                  Sergei S. Sazhin and
                  A. N. Osiptsov and
                  F. B. Kaplanski and
                  Steven Begg and
                  Morgan Heikal},
  title        = {Modelling of a two-phase vortex-ring flow using an analytical solution
                  for the carrier phase},
  journal      = {Appl. Math. Comput.},
  volume       = {326},
  pages        = {159--169},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.amc.2017.12.044},
  doi          = {10.1016/J.AMC.2017.12.044},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/RybdylovaSOKBH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/PsaltisTCFHB18,
  author       = {Steven Psaltis and
                  Ian W. Turner and
                  Elliot J. Carr and
                  Troy Farrell and
                  Gary Hopewell and
                  Henri Baill{\`{e}}res},
  title        = {Three-dimensional virtual reconstruction of timber billets from rotary
                  peeling},
  journal      = {Comput. Electron. Agric.},
  volume       = {152},
  pages        = {269--280},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.compag.2018.07.018},
  doi          = {10.1016/J.COMPAG.2018.07.018},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cea/PsaltisTCFHB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/AgaKDBHA18,
  author       = {Roberto S. Aga and
                  Eric B. Kreit and
                  Steven R. Dooley and
                  Carrie M. Bartsch and
                  Emily M. Heckman and
                  Rachel S. Aga},
  title        = {Considerations in printing conductive traces for high pulsed power
                  applications},
  journal      = {Microelectron. Reliab.},
  volume       = {81},
  pages        = {342--351},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.microrel.2017.10.037},
  doi          = {10.1016/J.MICROREL.2017.10.037},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mr/AgaKDBHA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMdis/CarrascoWBV18,
  author       = {Romina Carrasco and
                  Jenny Waycott and
                  Steven Baker and
                  Frank Vetere},
  editor       = {Ilpo Koskinen and
                  Youn{-}Kyung Lim and
                  Teresa Cerratto Pargman and
                  Kenny K. N. Chow and
                  William Odom},
  title        = {Designing the Lost Self: Older Adults' Self-representations in Online
                  Games},
  booktitle    = {Proceedings of the 2018 on Designing Interactive Systems Conference
                  2018, {DIS} 2018, Hong Kong, China, June 09-13, 2018},
  pages        = {441--452},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3196709.3196773},
  doi          = {10.1145/3196709.3196773},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ACMdis/CarrascoWBV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Carr0WFT18,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ralf Wimmer and
                  Jie Fu and
                  Ufuk Topcu},
  title        = {Human-in-the-Loop Synthesis for Partially Observable Markov Decision
                  Processes},
  booktitle    = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
                  USA, June 27-29, 2018},
  pages        = {762--769},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/ACC.2018.8431911},
  doi          = {10.23919/ACC.2018.8431911},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/Carr0WFT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/NguyenAHKSWBCUA18,
  author       = {Mai H. Nguyen and
                  Ehab Abdelmaguid and
                  Jolene Huang and
                  Sanjay Kenchareddy and
                  Disha Singla and
                  Laura Wilke and
                  Marcus Bobar and
                  Eric D. Carruth and
                  Dylan Uys and
                  Ilkay Altintas and
                  Evan D. Muse and
                  Giorgio Quer and
                  Steven R. Steinhubl},
  title        = {Analytics Pipeline for Left Ventricle Segmentation and Volume Estimation
                  on Cardiac {MRI} Using Deep Learning},
  booktitle    = {14th {IEEE} International Conference on e-Science, e-Science 2018,
                  Amsterdam, The Netherlands, October 29 - November 1, 2018},
  pages        = {305--306},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/eScience.2018.00065},
  doi          = {10.1109/ESCIENCE.2018.00065},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eScience/NguyenAHKSWBCUA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/AlsaediCF18,
  author       = {Nasser Alsaedi and
                  Steve Carr and
                  Alvis Cheuk M. Fong},
  editor       = {M. Arif Wani and
                  Mehmed M. Kantardzic and
                  Moamar Sayed Mouchaweh and
                  Jo{\~{a}}o Gama and
                  Edwin Lughofer},
  title        = {Applying Supervised Learning to the Static Prediction of Locality-Pattern
                  Complexity in Scientific Code},
  booktitle    = {17th {IEEE} International Conference on Machine Learning and Applications,
                  {ICMLA} 2018, Orlando, FL, USA, December 17-20, 2018},
  pages        = {995--1000},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICMLA.2018.00162},
  doi          = {10.1109/ICMLA.2018.00162},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icmla/AlsaediCF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/Cavenett0WCRVH18,
  author       = {Wendy Cavenett and
                  Steven Baker and
                  Jenny Waycott and
                  Romina Carrasco and
                  Elena Robertson and
                  Frank Vetere and
                  Ralph Hampson},
  editor       = {George Buchanan and
                  Duncan Stevenson},
  title        = {Deploying new technology in residential aged care: staff members'
                  perspectives},
  booktitle    = {Proceedings of the 30th Australian Conference on Computer-Human Interaction,
                  OzCHI 2018, Melbourne, VIC, Australia, December 04-07, 2018},
  pages        = {200--204},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292147.3292214},
  doi          = {10.1145/3292147.3292214},
  timestamp    = {Mon, 05 Sep 2022 11:39:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ozchi/Cavenett0WCRVH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09810,
  author       = {Steven Carr and
                  Nils Jansen and
                  Ralf Wimmer and
                  Jie Fu and
                  Ufuk Topcu},
  title        = {Human-in-the-Loop Synthesis for Partially Observable Markov Decision
                  Processes},
  journal      = {CoRR},
  volume       = {abs/1802.09810},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.09810},
  eprinttype    = {arXiv},
  eprint       = {1802.09810},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-09810.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02876,
  author       = {Kim Albertsson and
                  Piero Altoe and
                  Dustin Anderson and
                  Michael Andrews and
                  Juan Pedro Araque Espinosa and
                  Adam Aurisano and
                  Laurent Basara and
                  Adrian Bevan and
                  Wahid Bhimji and
                  Daniele Bonacorsi and
                  Paolo Calafiura and
                  Mario Campanelli and
                  Louis Capps and
                  Federico Carminati and
                  Stefano Carrazza and
                  Taylor Childers and
                  Elias Coniavitis and
                  Kyle Cranmer and
                  Claire David and
                  Douglas Davis and
                  Javier M. Duarte and
                  Martin Erdmann and
                  Jonas Eschle and
                  Amir Farbin and
                  Matthew Feickert and
                  Nuno Filipe Castro and
                  Conor Fitzpatrick and
                  Michele Floris and
                  Alessandra Forti and
                  Jordi Garra{-}Tico and
                  Jochen Gemmler and
                  Maria Girone and
                  Paul Glaysher and
                  Sergei Gleyzer and
                  Vladimir V. Gligorov and
                  Tobias Golling and
                  Jonas Graw and
                  Lindsey Gray and
                  Dick Greenwood and
                  Thomas Hacker and
                  John Harvey and
                  Benedikt Hegner and
                  Lukas Heinrich and
                  Ben Hooberman and
                  Johannes Junggeburth and
                  Michael Kagan and
                  Meghan Kane and
                  Konstantin Kanishchev and
                  Przemyslaw Karpinski and
                  Zahari Kassabov and
                  Gaurav Kaul and
                  Dorian Kcira and
                  Thomas Keck and
                  Alexei Klimentov and
                  Jim Kowalkowski and
                  Luke Kreczko and
                  Alexander Kurepin and
                  Rob Kutschke and
                  Valentin Kuznetsov and
                  Nicolas K{\"{o}}hler and
                  Igor Lakomov and
                  Kevin Lannon and
                  Mario Lassnig and
                  Antonio Limosani and
                  Gilles Louppe and
                  Aashrita Mangu and
                  Pere Mato and
                  Narain Meenakshi and
                  Helge Meinhard and
                  Dario Menasce and
                  Lorenzo Moneta and
                  Seth Moortgat and
                  Mark S. Neubauer and
                  Harvey B. Newman and
                  Hans Pabst and
                  Michela Paganini and
                  Manfred Paulini and
                  Gabriel N. Perdue and
                  Uzziel Perez and
                  Attilio Picazio and
                  Jim Pivarski and
                  Harrison Prosper and
                  Fernanda Psihas and
                  Alexander Radovic and
                  Ryan Reece and
                  Aurelius Rinkevicius and
                  Eduardo Rodrigues and
                  Jamal Rorie and
                  David Rousseau and
                  Aaron Sauers and
                  Steven Schramm and
                  Ariel Schwartzman and
                  Horst Severini and
                  Paul Seyfert and
                  Filip Siroky and
                  Konstantin Skazytkin and
                  Mike Sokoloff and
                  Graeme Andrew Stewart and
                  Bob Stienen and
                  Ian Stockdale and
                  Giles Chatham Strong and
                  Savannah Thais and
                  Karen Tomko and
                  Eli Upfal and
                  Emanuele Usai and
                  Andrey Ustyuzhanin and
                  Martin Vala and
                  Sofia Vallecorsa and
                  Mauro Verzetti and
                  Xavier Vilas{\'{\i}}s{-}Cardona and
                  Jean{-}Roch Vlimant and
                  Ilija Vukotic and
                  Sean{-}Jiun Wang and
                  Gordon Watts and
                  Michael Williams and
                  Wenjing Wu and
                  Stefan Wunsch and
                  Omar Zapata},
  title        = {Machine Learning in High Energy Physics Community White Paper},
  journal      = {CoRR},
  volume       = {abs/1807.02876},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.02876},
  eprinttype    = {arXiv},
  eprint       = {1807.02876},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-02876.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04263,
  author       = {Ni An and
                  Steven Weber},
  title        = {Efficiency and detectability of random reactive jamming in carrier
                  sense wireless networks},
  journal      = {CoRR},
  volume       = {abs/1809.04263},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.04263},
  eprinttype    = {arXiv},
  eprint       = {1809.04263},
  timestamp    = {Mon, 04 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04263.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/digearth/Sanchez-RuizMPM17,
  author       = {Sergio Sanchez{-}Ruiz and
                  {\'{A}}lvaro Moreno and
                  Maria Piles and
                  Fabio Maselli and
                  Arnaud Carrara and
                  Steven W. Running and
                  M. Amparo Gilabert Navarro},
  title        = {Quantifying water stress effect on daily light use efficiency in Mediterranean
                  ecosystems using satellite data},
  journal      = {Int. J. Digit. Earth},
  volume       = {10},
  number       = {6},
  pages        = {623--638},
  year         = {2017},
  url          = {https://doi.org/10.1080/17538947.2016.1247301},
  doi          = {10.1080/17538947.2016.1247301},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/digearth/Sanchez-RuizMPM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscloud/SarhanC17,
  author       = {Akram Y. Sarhan and
                  Steve Carr},
  title        = {A Highly-Secure Self-Protection Data Scheme in Clouds Using Active
                  Data Bundles and Agent-Based Secure Multi-party Computation},
  booktitle    = {4th {IEEE} International Conference on Cyber Security and Cloud Computing,
                  CSCloud 2017, New York, NY, USA, June 26-28, 2017},
  pages        = {228--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CSCloud.2017.36},
  doi          = {10.1109/CSCLOUD.2017.36},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cscloud/SarhanC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/KarasinskiJCGH17,
  author       = {John A. Karasinski and
                  Richard Joyce and
                  Colleen Carroll and
                  Jack Gale and
                  Steven Hillenius},
  editor       = {Stephanie J. Lackey and
                  Jessie Chen},
  title        = {An Augmented Reality/Internet of Things Prototype for Just-in-time
                  Astronaut Training},
  booktitle    = {Virtual, Augmented and Mixed Reality - 9th International Conference,
                  {VAMR} 2017, Held as Part of {HCI} International 2017, Vancouver,
                  BC, Canada, July 9-14, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10280},
  pages        = {248--260},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57987-0\_20},
  doi          = {10.1007/978-3-319-57987-0\_20},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/KarasinskiJCGH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/BekkoucheSFRWO17,
  author       = {Bo Bekkouche and
                  Patrick A. Shoemaker and
                  Joseph Fabian and
                  Elisa Rigosi and
                  Steven D. Wiederman and
                  David C. O'Carroll},
  editor       = {Alessandra Lintas and
                  Stefano Rovetta and
                  Paul F. M. J. Verschure and
                  Alessandro E. P. Villa},
  title        = {Multicompartment Simulations of {NMDA} Receptor Based Facilitation
                  in an Insect Target Tracking Neuron},
  booktitle    = {Artificial Neural Networks and Machine Learning - {ICANN} 2017 - 26th
                  International Conference on Artificial Neural Networks, Alghero, Italy,
                  September 11-14, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10613},
  pages        = {397--404},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68600-4\_46},
  doi          = {10.1007/978-3-319-68600-4\_46},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icann/BekkoucheSFRWO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WalkerMSC17,
  author       = {James W. Walker and
                  Jean Mayo and
                  Ching{-}Kuang Shene and
                  Steve Carr},
  editor       = {Renzo Davoli and
                  Michael Goldweber and
                  Guido R{\"{o}}{\ss}ling and
                  Irene Polycarpou},
  title        = {Visualization for Secure Coding in {C}},
  booktitle    = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
                  2017},
  pages        = {372},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3059009.3072990},
  doi          = {10.1145/3059009.3072990},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/WalkerMSC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WangMSCW17,
  author       = {Man Wang and
                  Jean Mayo and
                  Ching{-}Kuang Shene and
                  Steve Carr and
                  Chaoli Wang},
  editor       = {Renzo Davoli and
                  Michael Goldweber and
                  Guido R{\"{o}}{\ss}ling and
                  Irene Polycarpou},
  title        = {UNIXvisual: {A} Visualization Tool for Teaching {UNIX} Permissions},
  booktitle    = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
                  2017},
  pages        = {194--199},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3059009.3059031},
  doi          = {10.1145/3059009.3059031},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/WangMSCW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/LiCYC17,
  author       = {Hao Li and
                  Jialiang Chang and
                  Zijiang Yang and
                  Steve Carr},
  editor       = {Lawrence Rauchwerger},
  title        = {Memory Distance Measurement for Concurrent Programs},
  booktitle    = {Languages and Compilers for Parallel Computing - 30th International
                  Workshop, {LCPC} 2017, College Station, TX, USA, October 11-13, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11403},
  pages        = {49--64},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-35225-7\_5},
  doi          = {10.1007/978-3-030-35225-7\_5},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/LiCYC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/CarlsonSEHAV17,
  author       = {Emily S. Carlson and
                  Margaret Stevens and
                  David B. Emerson and
                  Xiaozhe Hu and
                  James H. Adler and
                  Thomas E. Vandervelde},
  title        = {A drift-diffusion solver using a finite-element method to analyze
                  carrier dynamics at ultra-high solar concentrations},
  booktitle    = {{IEEE} 60th International Midwest Symposium on Circuits and Systems,
                  {MWSCAS} 2017, Boston, MA, USA, August 6-9, 2017},
  pages        = {1360--1363},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/MWSCAS.2017.8053184},
  doi          = {10.1109/MWSCAS.2017.8053184},
  timestamp    = {Sat, 11 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mwscas/CarlsonSEHAV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netsoft/PeusterDKRTK17,
  author       = {Manuel Peuster and
                  Sevil Dr{\"{a}}xler and
                  Hadi Razzaghi Kouchaksaraei and
                  Steven van Rossem and
                  Wouter Tavernier and
                  Holger Karl},
  title        = {A flexible multi-pop infrastructure emulator for carrier-grade {MANO}
                  systems},
  booktitle    = {2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna,
                  Italy, July 3-7, 2017},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/NETSOFT.2017.8004250},
  doi          = {10.1109/NETSOFT.2017.8004250},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/netsoft/PeusterDKRTK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/GarrafaSMCCCGKL17,
  author       = {Nestor Garrafa and
                  Omar Salome and
                  Thomas Mueller and
                  Oscar Pache Carcelen and
                  Gianluca Calabretta and
                  Nacho Carretero and
                  Gabriele Galimberti and
                  Steven Keck and
                  V{\'{\i}}ctor L{\'{o}}pez and
                  Dirk van den Borne},
  title        = {Multi-vendor 100G {DP-QPSK} line-side interoperability field trial
                  over 1030 km},
  booktitle    = {Optical Fiber Communications Conference and Exhibition, {OFC} 2017,
                  Los Angeles, CA, USA, March 19-23, 2017},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/document/7936911},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ofc/GarrafaSMCCCGKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/CarrascoBWV17,
  author       = {Romina Carrasco and
                  Steven Baker and
                  Jenny Waycott and
                  Frank Vetere},
  editor       = {Margot Brereton and
                  Alessandro Soro and
                  Dhaval Vyas and
                  Bernd Ploderer and
                  Ann Morrison and
                  Jenny Waycott},
  title        = {Negotiating stereotypes of older adults through avatars},
  booktitle    = {Proceedings of the 29th Australian Conference on Computer-Human Interaction,
                  {OZCHI} 2017, Brisbane, QLD, Australia, November 28 - December 01,
                  2017},
  pages        = {218--227},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3152771.3152795},
  doi          = {10.1145/3152771.3152795},
  timestamp    = {Sun, 02 Oct 2022 16:13:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ozchi/CarrascoBWV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/PuriBHZ17,
  author       = {Arushi Puri and
                  Steven Baker and
                  Thuong N. Hoang and
                  Romina Carrasco Zuffi},
  editor       = {Margot Brereton and
                  Alessandro Soro and
                  Dhaval Vyas and
                  Bernd Ploderer and
                  Ann Morrison and
                  Jenny Waycott},
  title        = {To be (me) or not to be?: photorealistic avatars and older adults},
  booktitle    = {Proceedings of the 29th Australian Conference on Computer-Human Interaction,
                  {OZCHI} 2017, Brisbane, QLD, Australia, November 28 - December 01,
                  2017},
  pages        = {503--507},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3152771.3156166},
  doi          = {10.1145/3152771.3156166},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ozchi/PuriBHZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/FahlgrenHCC16,
  author       = {Noah Fahlgren and
                  Steven T. Hill and
                  James C. Carrington and
                  Alberto Carbonell},
  title        = {{P-SAMS:} a web site for plant artificial microRNA and synthetic \emph{trans}-acting
                  small interfering {RNA} design},
  journal      = {Bioinform.},
  volume       = {32},
  number       = {1},
  pages        = {157--158},
  year         = {2016},
  url          = {https://doi.org/10.1093/bioinformatics/btv534},
  doi          = {10.1093/BIOINFORMATICS/BTV534},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/FahlgrenHCC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejwcn/NasirDMBK16,
  author       = {Ali A. Nasir and
                  Salman Durrani and
                  Hani Mehrpouyan and
                  Steven D. Blostein and
                  Rodney A. Kennedy},
  title        = {Timing and carrier synchronization in wireless communication systems:
                  a survey and classification of research in the last 5 years},
  journal      = {{EURASIP} J. Wirel. Commun. Netw.},
  volume       = {2016},
  pages        = {180},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13638-016-0670-9},
  doi          = {10.1186/S13638-016-0670-9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejwcn/NasirDMBK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euvip/EvansOW16,
  author       = {Bernard J. E. Evans and
                  David C. O'Carroll and
                  Steven D. Wiederman},
  title        = {Salience invariance with divisive normalization in higher-order insect
                  neurons},
  booktitle    = {6th European Workshop on Visual Information Processing, {EUVIP} 2016,
                  Marseille, France, October 25-27, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/EUVIP.2016.7764588},
  doi          = {10.1109/EUVIP.2016.7764588},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euvip/EvansOW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/ZhengCBRSJAGDSC16,
  author       = {Jie Zheng and
                  Jashon Cade and
                  Brian P. Brunk and
                  David S. Roos and
                  Christian J. Stoeckert Jr. and
                  San James and
                  Emmanuel Arinaitwe and
                  Bryan Greenhouse and
                  Grant Dorsey and
                  Steven Sullivan and
                  Jane M. Carlton and
                  Gabriel Carrasco{-}Escobar and
                  Dionicia Gamboa and
                  Paula Maguina{-}Mercedes and
                  Joseph Vinetz},
  editor       = {Pankaj Jaiswal and
                  Robert Hoehndorf and
                  Cecilia N. Arighi and
                  Austin Meier},
  title        = {Malaria Study Data Integration and Information Retrieval Based on
                  {OBO} Foundry Ontologies},
  booktitle    = {Proceedings of the Joint International Conference on Biological Ontology
                  and BioCreative, Corvallis, Oregon, United States, August 1-4, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1747},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1747/IT503\_ICBO2016.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:23 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/ZhengCBRSJAGDSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WangMSCW16,
  author       = {Man Wang and
                  Jean Mayo and
                  Ching{-}Kuang Shene and
                  Steve Carr and
                  Chaoli Wang},
  editor       = {Alison Clear and
                  Ernesto Cuadros{-}Vargas and
                  Janet Carter and
                  Yv{\'{a}}n T{\'{u}}pac},
  title        = {UNIXvisual: {A} Visualization Tool for Teaching the {UNIX} Permission
                  Model},
  booktitle    = {Proceedings of the 2016 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13,
                  2016},
  pages        = {356},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2899415.2925479},
  doi          = {10.1145/2899415.2925479},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iticse/WangMSCW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cphysics/BrownCGTP15,
  author       = {W. Michael Brown and
                  Jan{-}Michael Y. Carrillo and
                  Nitin Gavhane and
                  Foram M. Thakkar and
                  Steven J. Plimpton},
  title        = {Optimizing legacy molecular dynamics software with directive-based
                  offload},
  journal      = {Comput. Phys. Commun.},
  volume       = {195},
  pages        = {95--101},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cpc.2015.05.004},
  doi          = {10.1016/J.CPC.2015.05.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cphysics/BrownCGTP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/JinMLTQ15,
  author       = {Steven X. Jin and
                  Carol J. Miller and
                  Carrie Loya{-}Smalley and
                  Eric Tucker and
                  Awni Qaqish},
  title        = {Optimizing water delivery system storage and its influence on air
                  pollutant emission reduction},
  journal      = {Sustain. Comput. Informatics Syst.},
  volume       = {8},
  pages        = {24--28},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.suscom.2014.09.002},
  doi          = {10.1016/J.SUSCOM.2014.09.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/suscom/JinMLTQ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dicta/CarrBA15,
  author       = {S. B. Carr and
                  Lawrence S. Bernstein and
                  Steven M. Adler{-}Golden},
  title        = {The Quick Atmospheric Correction {(QUAC)} Algorithm for Hyperspectral
                  Image Processing: Extending {QUAC} to a Coastal Scene},
  booktitle    = {2015 International Conference on Digital Image Computing: Techniques
                  and Applications, {DICTA} 2015, Adelaide, Australia, November 23-25,
                  2015},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/DICTA.2015.7371314},
  doi          = {10.1109/DICTA.2015.7371314},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/dicta/CarrBA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icuwb/ZhangLAT15,
  author       = {Zhilin Zhang and
                  Steven Loh and
                  Shadi Abu{-}Surra and
                  Rakesh Taori},
  title        = {Mitigation of Phase Noise and Phase Rotation in Single-Carrier Communication
                  Systems Using Pilots and Smoothing Technique},
  booktitle    = {{IEEE} International Conference on Ubiquitous Wireless Broadband,
                  {ICUWB} 2015, Montreal, QC, Canada, October 4-7, 2015},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICUWB.2015.7324476},
  doi          = {10.1109/ICUWB.2015.7324476},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/icuwb/ZhangLAT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipta/EvansPOW15,
  author       = {Bernard J. E. Evans and
                  Ben A. Parslow and
                  David C. O'Carroll and
                  Steven D. Wiederman},
  title        = {Quantifying asynchrony of multiple cameras using aliased optical devices},
  booktitle    = {2015 International Conference on Image Processing Theory, Tools and
                  Applications, {IPTA} 2015, Orleans, France, November 10-13, 2015},
  pages        = {567--572},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/IPTA.2015.7367211},
  doi          = {10.1109/IPTA.2015.7367211},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipta/EvansPOW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipta/ParslowEOW15,
  author       = {Ben A. Parslow and
                  Bernard J. E. Evans and
                  David C. O'Carroll and
                  Steven D. Wiederman},
  title        = {Multi-focal video fusion with a beam splitter prism},
  booktitle    = {2015 International Conference on Image Processing Theory, Tools and
                  Applications, {IPTA} 2015, Orleans, France, November 10-13, 2015},
  pages        = {556--560},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/IPTA.2015.7367209},
  doi          = {10.1109/IPTA.2015.7367209},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipta/ParslowEOW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irps/MittlG15,
  author       = {Steven W. Mittl and
                  Fernando Guarin},
  title        = {Self-heating and its implications on hot carrier reliability evaluations},
  booktitle    = {{IEEE} International Reliability Physics Symposium, {IRPS} 2015, Monterey,
                  CA, USA, April 19-23, 2015},
  pages        = {4},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/IRPS.2015.7112726},
  doi          = {10.1109/IRPS.2015.7112726},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/irps/MittlG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WangMSLCW15,
  author       = {Man Wang and
                  Jean Mayo and
                  Ching{-}Kuang Shene and
                  Thomas Lake and
                  Steve Carr and
                  Chaoli Wang},
  editor       = {Valentina Dagiene and
                  Carsten Schulte and
                  Tatjana Jevsikova},
  title        = {RBACvisual: {A} Visualization Tool for Teaching Access Control using
                  Role-based Access Control},
  booktitle    = {Proceedings of the 2015 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, ITiCS 2015, Vilnius, Lithuania, July
                  4-8, 2015},
  pages        = {141--146},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2729094.2742627},
  doi          = {10.1145/2729094.2742627},
  timestamp    = {Tue, 28 May 2024 17:14:29 +0200},
  biburl       = {https://dblp.org/rec/conf/iticse/WangMSLCW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CarrKM15,
  author       = {Steve Carr and
                  Melissa S. Keranen and
                  Jean Mayo},
  editor       = {Adrienne Decker and
                  Kurt Eiselt and
                  Carl Alphonce and
                  Jodi L. Tims},
  title        = {Teaching Cryptography and Access Control Hands-On (Abstract Only)},
  booktitle    = {Proceedings of the 46th {ACM} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2015, Kansas City, MO, USA, March 4-7, 2015},
  pages        = {707},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676723.2678296},
  doi          = {10.1145/2676723.2678296},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/CarrKM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/BagheriWCGO15,
  author       = {Zahra M. Bagheri and
                  Steven D. Wiederman and
                  Benjamin S. Cazzolato and
                  Steven Grainger and
                  David C. O'Carroll},
  title        = {Robustness and Real-Time Performance of an Insect Inspired Target
                  Tracking Algorithm Under Natural Conditions},
  booktitle    = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015,
                  Cape Town, South Africa, December 7-10, 2015},
  pages        = {97--102},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SSCI.2015.24},
  doi          = {10.1109/SSCI.2015.24},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssci/BagheriWCGO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NasirDMBK15,
  author       = {Ali A. Nasir and
                  Salman Durrani and
                  Hani Mehrpouyan and
                  Steven D. Blostein and
                  Rodney A. Kennedy},
  title        = {Timing and Carrier Synchronization in Wireless Communication Systems:
                  {A} Survey and Classification of Research in the Last Five Years},
  journal      = {CoRR},
  volume       = {abs/1507.02032},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.02032},
  eprinttype    = {arXiv},
  eprint       = {1507.02032},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NasirDMBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BroudyKCSMAMASSTBSGCVMM14,
  author       = {Daniel Broudy and
                  Trevor Killeen and
                  Meena Choi and
                  Nicholas Shulman and
                  Deepak R. Mani and
                  Susan E. Abbatiello and
                  Deepak Mani and
                  Rushdy Ahmad and
                  Alexandria K. Sahu and
                  Birgit Schilling and
                  Kaipo Tamura and
                  Yuval Boss and
                  Vagisha Sharma and
                  Bradford W. Gibson and
                  Steven A. Carr and
                  Olga Vitek and
                  Michael J. MacCoss and
                  Brendan MacLean},
  title        = {A framework for installable external tools in Skyline},
  journal      = {Bioinform.},
  volume       = {30},
  number       = {17},
  pages        = {2521--2523},
  year         = {2014},
  url          = {https://doi.org/10.1093/bioinformatics/btu148},
  doi          = {10.1093/BIOINFORMATICS/BTU148},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/BroudyKCSMAMASSTBSGCVMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/CorreiaBLBCJRCK14,
  author       = {Bruno E. Correia and
                  John T. Bates and
                  Rebecca J. Loomis and
                  Gretchen Baneyx and
                  Chris Carrico and
                  Joseph G. Jardine and
                  Peter Rupert and
                  Colin E. Correnti and
                  Oleksandr Kalyuzhniy and
                  Vinayak Vittal and
                  Mary J. Connell and
                  Eric Stevens and
                  Alexandria Schroeter and
                  Man Chen and
                  Skye MacPherson and
                  Andreia M. Serra and
                  Yumiko Adachi and
                  Margaret A. Holmes and
                  Yuxing Li and
                  Rachel E. Klevit and
                  Barney S. Graham and
                  Richard T. Wyatt and
                  David Baker and
                  Roland K. Strong and
                  James E. Crowe Jr. and
                  Philip R. Johnson and
                  William R. Schief},
  title        = {Proof of principle for epitope-focused vaccine design},
  journal      = {Nat.},
  volume       = {507},
  number       = {7491},
  pages        = {201--206},
  year         = {2014},
  url          = {https://doi.org/10.1038/nature12966},
  doi          = {10.1038/NATURE12966},
  timestamp    = {Tue, 15 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nature/CorreiaBLBCJRCK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dicta/BagheriWCGO14,
  author       = {Zahra M. Bagheri and
                  Steven D. Wiederman and
                  Benjamin S. Cazzolato and
                  Steven Grainger and
                  David C. O'Carroll},
  title        = {A Biologically Inspired Facilitation Mechanism Enhances the Detection
                  and Pursuit of Targets of Varying Contrast},
  booktitle    = {2014 International Conference on Digital Image Computing: Techniques
                  and Applications, {DICTA} 2014, Wollongong, New South Wales, Australia,
                  November 25-27, 2014},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/DICTA.2014.7008082},
  doi          = {10.1109/DICTA.2014.7008082},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dicta/BagheriWCGO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarcv/BagheriWCGO14,
  author       = {Zahra M. Bagheri and
                  Steven D. Wiederman and
                  Benjamin S. Cazzolato and
                  Steven Grainger and
                  David C. O'Carroll},
  title        = {Performance assessment of an insect-inspired target tracking model
                  in background clutter},
  booktitle    = {13th International Conference on Control Automation Robotics {\&}
                  Vision, {ICARCV} 2014, Singapore, December 10-12, 2014},
  pages        = {822--826},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICARCV.2014.7064410},
  doi          = {10.1109/ICARCV.2014.7064410},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icarcv/BagheriWCGO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/WangCMSW14,
  author       = {Man Wang and
                  Steve Carr and
                  Jean Mayo and
                  Ching{-}Kuang Shene and
                  Chaoli Wang},
  editor       = {{\AA}sa Cajander and
                  Mats Daniels and
                  Tony Clear and
                  Arnold Pears},
  title        = {MLSvisual: a visualization tool for teaching access control using
                  multi-level security},
  booktitle    = {Innovation and Technology in Computer Science Education Conference
                  2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014},
  pages        = {93--98},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2591708.2591730},
  doi          = {10.1145/2591708.2591730},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/WangCMSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/whispers/PereiraRCKB14,
  author       = {Wellesley Pereira and
                  Steven Richtsmeier and
                  Stephen Carr and
                  Sergey Kharabash and
                  Andrew Brady},
  title        = {A comparison of MCScene and CameoSim simulations of a real scene},
  booktitle    = {6th Workshop on Hyperspectral Image and Signal Processing: Evolution
                  in Remote Sensing, {WHISPERS} 2014, Lausanne, Switzerland, June 24-27,
                  2014},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/WHISPERS.2014.8077572},
  doi          = {10.1109/WHISPERS.2014.8077572},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/whispers/PereiraRCKB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaiscr/WiedermanO13,
  author       = {Steven D. Wiederman and
                  David C. O'Carroll},
  title        = {Biologically Inspired Feature Detection Using Cascaded Correlations
                  of off and on Channels},
  journal      = {J. Artif. Intell. Soft Comput. Res.},
  volume       = {3},
  number       = {1},
  pages        = {5},
  year         = {2013},
  url          = {https://doi.org/10.2478/jaiscr-2014-0001},
  doi          = {10.2478/JAISCR-2014-0001},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jaiscr/WiedermanO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/VandewalleCHDALPDCDLC13,
  author       = {Gilles Vandewalle and
                  Olivier Collignon and
                  Joseph T. Hull and
                  V{\'{e}}ronique Daneault and
                  Genevi{\`{e}}ve Albouy and
                  Franco Lepore and
                  Christophe Phillips and
                  Julien Doyon and
                  Charles A. Czeisler and
                  Marie Dumont and
                  Steven W. Lockley and
                  Julie Carrier},
  title        = {Blue Light Stimulates Cognitive Brain Activity in Visually Blind Individuals},
  journal      = {J. Cogn. Neurosci.},
  volume       = {25},
  number       = {12},
  pages        = {2072--2085},
  year         = {2013},
  url          = {https://doi.org/10.1162/jocn\_a\_00450},
  doi          = {10.1162/JOCN\_A\_00450},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocn/VandewalleCHDALPDCDLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/LiHCT013,
  author       = {Xue Li and
                  Steven Hong and
                  Vasu Chakravarthy and
                  Michael A. Temple and
                  Zhiqiang Wu},
  title        = {Intercarrier Interference Immune Single Carrier {OFDM} via Magnitude-Keyed
                  Modulation for High Speed Aerial Vehicle Communication},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {61},
  number       = {2},
  pages        = {658--668},
  year         = {2013},
  url          = {https://doi.org/10.1109/TCOMM.2012.122112.110214},
  doi          = {10.1109/TCOMM.2012.122112.110214},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/LiHCT013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/KonkleGCC13,
  author       = {Justin J. Konkle and
                  Patrick W. Goodwill and
                  Oscar M. Carrasco{-}Zevallos and
                  Steven M. Conolly},
  title        = {Projection Reconstruction Magnetic Particle Imaging},
  journal      = {{IEEE} Trans. Medical Imaging},
  volume       = {32},
  number       = {2},
  pages        = {338--347},
  year         = {2013},
  url          = {https://doi.org/10.1109/TMI.2012.2227121},
  doi          = {10.1109/TMI.2012.2227121},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tmi/KonkleGCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/SridharaS13,
  author       = {Sudarshan Madenur Sridhara and
                  Mark Stamp},
  title        = {Metamorphic worm that carries its own morphing engine},
  journal      = {J. Comput. Virol. Hacking Tech.},
  volume       = {9},
  number       = {2},
  pages        = {49--58},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11416-012-0174-z},
  doi          = {10.1007/S11416-012-0174-Z},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/virology/SridharaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/KrukczkiewiczMBTDGCT13,
  author       = {Peter Kruczkiewicz and
                  Steven Mutschall and
                  Dillon Barker and
                  James E. Thomas and
                  Gary H. Van Domselaar and
                  Victor P. J. Gannon and
                  Catherine D. Carrillo and
                  Eduardo N. Taboada},
  editor       = {Pedro Fernandes and
                  Jordi Sol{\'{e}}{-}Casals and
                  Ana L. N. Fred and
                  Hugo Gamboa},
  title        = {{MIST:} {A} Tool for Rapid in silico Generation of Molecular Data
                  from Bacterial Genome Sequences},
  booktitle    = {{BIOINFORMATICS} 2013 - Proceedings of the International Conference
                  on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain,
                  11 - 14 February, 2013},
  pages        = {316--323},
  publisher    = {SciTePress},
  year         = {2013},
  timestamp    = {Wed, 23 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/biostec/KrukczkiewiczMBTDGCT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KerneWLCDCH13,
  author       = {Andruid Kerne and
                  Andrew M. Webb and
                  Celine Latulipe and
                  Erin A. Carroll and
                  Steven Mark Drucker and
                  Linda Candy and
                  Kristina H{\"{o}}{\"{o}}k},
  editor       = {Wendy E. Mackay and
                  Stephen A. Brewster and
                  Susanne B{\o}dker},
  title        = {Evaluation methods for creativity support environments},
  booktitle    = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
                  {CHI} '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts},
  pages        = {3295--3298},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2468356.2479670},
  doi          = {10.1145/2468356.2479670},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/KerneWLCDCH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimsivp/WiedermanO13,
  author       = {Steven D. Wiederman and
                  David C. O'Carroll},
  title        = {Biomimetic target detection: Modeling 2\({}^{\mbox{nd}}\) order correlation
                  of {OFF} and {ON} channels},
  booktitle    = {2013 {IEEE} Symposium on Computational Intelligence for Multimedia,
                  Signal and Vision Processing, {CIMSIVP} 2013, Singapore, Singapore,
                  April 16-19, 2013},
  pages        = {16--21},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CIMSIVP.2013.6583842},
  doi          = {10.1109/CIMSIVP.2013.6583842},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cimsivp/WiedermanO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BaiTPG13,
  author       = {Wei Bai and
                  Emmanuel M. Tadjouddine and
                  Terry R. Payne and
                  Sheng{-}Uei Guan},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Zhiming Liu and
                  Jinyun Xue},
  title        = {A Proof-Carrying Code Approach to Certificate Auction Mechanisms},
  booktitle    = {Formal Aspects of Component Software - 10th International Symposium,
                  {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8348},
  pages        = {23--40},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-07602-7\_4},
  doi          = {10.1007/978-3-319-07602-7\_4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/BaiTPG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/JinLTQMMW13,
  author       = {Steven X. Jin and
                  Carrie Loya{-}Smalley and
                  Eric Tucker and
                  Awni Qaqish and
                  Carol J. Miller and
                  Shawn P. McElmurry and
                  Caisheng Wang},
  title        = {Optimizing water delivery system storage and its influence on air
                  pollutant emission reduction},
  booktitle    = {International Green Computing Conference, {IGCC} 2013, Arlington,
                  VA, USA, June 27-29, 2013, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/IGCC.2013.6604492},
  doi          = {10.1109/IGCC.2013.6604492},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/green/JinLTQMMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/HalupkaWCO13,
  author       = {Kerry J. Halupka and
                  Steven D. Wiederman and
                  Benjamin S. Cazzolato and
                  David C. O'Carroll},
  title        = {Bio-inspired feature extraction and enhancement of targets moving
                  against visual clutter during closed loop pursuit},
  booktitle    = {{IEEE} International Conference on Image Processing, {ICIP} 2013,
                  Melbourne, Australia, September 15-18, 2013},
  pages        = {4098--4102},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICIP.2013.6738844},
  doi          = {10.1109/ICIP.2013.6738844},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icip/HalupkaWCO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/BishopBBGG13,
  author       = {Matt Bishop and
                  Emily Rine Butler and
                  Kevin R. B. Butler and
                  Carrie Gates and
                  Steven Greenspan},
  editor       = {Mary Ellen Zurko and
                  Konstantin Beznosov and
                  Tara Whalen and
                  Tom Longstaff},
  title        = {Forgive and forget: return to obscurity},
  booktitle    = {New Security Paradigms Workshop, {NSPW} '13, Banff, AB, Canada, September
                  9-12, 2013},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2535813.2535814},
  doi          = {10.1145/2535813.2535814},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nspw/BishopBBGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NasirMDBK13,
  author       = {Ali Arshad Nasir and
                  Hani Mehrpouyan and
                  Salman Durrani and
                  Steven D. Blostein and
                  Rodney A. Kennedy},
  title        = {Timing and Carrier Synchronization with Channel Estimation in {AF}
                  Two-Way Relaying Networks},
  journal      = {CoRR},
  volume       = {abs/1309.6690},
  year         = {2013},
  url          = {http://arxiv.org/abs/1309.6690},
  eprinttype    = {arXiv},
  eprint       = {1309.6690},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NasirMDBK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ManiAC12,
  author       = {Deepak R. Mani and
                  Susan E. Abbatiello and
                  Steven A. Carr},
  title        = {Statistical characterization of multiple-reaction monitoring mass
                  spectrometry {(MRM-MS)} assays for quantitative proteomics},
  journal      = {{BMC} Bioinform.},
  volume       = {13},
  number       = {{S-16}},
  pages        = {S9},
  year         = {2012},
  url          = {https://doi.org/10.1186/1471-2105-13-S16-S9},
  doi          = {10.1186/1471-2105-13-S16-S9},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/ManiAC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WuBCX12,
  author       = {Jinsong Wu and
                  Steven D. Blostein and
                  Qingchun Chen and
                  Pei Xiao},
  title        = {Joint Time-Frequency Diversity for Single-Carrier Block Transmission
                  in Frequency Selective Channels},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {95-A},
  number       = {11},
  pages        = {1912--1920},
  year         = {2012},
  url          = {https://doi.org/10.1587/transfun.E95.A.1912},
  doi          = {10.1587/TRANSFUN.E95.A.1912},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/WuBCX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbc/Pederson12,
  author       = {Steven M. Pederson},
  title        = {Essential Entropy-carrying Horseshoes as Set Limits},
  journal      = {Int. J. Bifurc. Chaos},
  volume       = {22},
  number       = {8},
  year         = {2012},
  url          = {https://doi.org/10.1142/S0218127412501957},
  doi          = {10.1142/S0218127412501957},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbc/Pederson12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/NasirMBDK12,
  author       = {Ali A. Nasir and
                  Hani Mehrpouyan and
                  Steven D. Blostein and
                  Salman Durrani and
                  Rodney A. Kennedy},
  title        = {Timing and Carrier Synchronization With Channel Estimation in Multi-Relay
                  Cooperative Networks},
  journal      = {{IEEE} Trans. Signal Process.},
  volume       = {60},
  number       = {2},
  pages        = {793--811},
  year         = {2012},
  url          = {https://doi.org/10.1109/TSP.2011.2174792},
  doi          = {10.1109/TSP.2011.2174792},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsp/NasirMBDK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/KonstantinidisF12,
  author       = {Spyros Konstantinidis and
                  Steven Freear},
  title        = {Performance Analysis of Tikhonov Regularized {LS} Channel Estimation
                  for {MIMO} {OFDM} Systems with Virtual Carriers},
  journal      = {Wirel. Pers. Commun.},
  volume       = {64},
  number       = {4},
  pages        = {703--717},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11277-010-0214-2},
  doi          = {10.1007/S11277-010-0214-2},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/KonstantinidisF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/JonesHGRGHRN12,
  author       = {Jasmine Jones and
                  Steven Hall and
                  Mieke Gentis and
                  Carrie Reynolds and
                  Chitra Gadwal and
                  Amy Hurst and
                  Judah Ronch and
                  Callie Neylan},
  editor       = {Matt Huenerfauth and
                  Sri Kurniawan},
  title        = {Visualizations for self-reflection on mouse pointer performance for
                  older adults},
  booktitle    = {The 14th International {ACM} {SIGACCESS} Conference on Computers and
                  Accessibility, {ASSETS} '12, Boulder, CO, USA, October 22 - 24, 2012},
  pages        = {287--288},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384916.2384996},
  doi          = {10.1145/2384916.2384996},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/assets/JonesHGRGHRN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/MierloCHVRBS11,
  author       = {Pieter van Mierlo and
                  Evelien Carrette and
                  Hans Hallez and
                  Kristl Vonck and
                  Dirk Van Roost and
                  Paul Boon and
                  Steven Staelens},
  title        = {Accurate epileptogenic focus localization through time-variant functional
                  connectivity analysis of intracranial electroencephalographic signals},
  journal      = {NeuroImage},
  volume       = {56},
  number       = {3},
  pages        = {1122--1133},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.neuroimage.2011.02.009},
  doi          = {10.1016/J.NEUROIMAGE.2011.02.009},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/MierloCHVRBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LaquaSGG11,
  author       = {Sven Laqua and
                  Martina Angela Sasse and
                  Steven Greenspan and
                  Carrie Gates},
  editor       = {Desney S. Tan and
                  Saleema Amershi and
                  Bo Begole and
                  Wendy A. Kellogg and
                  Manas Tungare},
  title        = {Do you know dis?: a user study of a knowledge discovery tool for organizations},
  booktitle    = {Proceedings of the International Conference on Human Factors in Computing
                  Systems, {CHI} 2011, Vancouver, BC, Canada, May 7-12, 2011},
  pages        = {2887--2896},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1978942.1979371},
  doi          = {10.1145/1978942.1979371},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/LaquaSGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/whispers/BriottetMCJCPDG11,
  author       = {Xavier Briottet and
                  Rodolphe Marion and
                  V{\'{e}}ronique Carr{\`{e}}re and
                  Stephane Jacquemoud and
                  St{\'{e}}phane Chevrel and
                  Philippe Prastault and
                  Marc D'Oria and
                  Philippe Gilouppe and
                  Steven Hosford and
                  Bertrand Lubac and
                  Anne Bourguignon},
  title        = {{HYPXIM:} {A} new hyperspectral sensor combining science/defence applications},
  booktitle    = {3rd Workshop on Hyperspectral Image and Signal Processing: Evolution
                  in Remote Sensing, {WHISPERS} 2011, Lisbon, Portugal, June 6-9, 2011},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/WHISPERS.2011.6080957},
  doi          = {10.1109/WHISPERS.2011.6080957},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/whispers/BriottetMCJCPDG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/PlastriaBC10,
  author       = {Frank Plastria and
                  Steven De Bruyne and
                  Emilio Carrizosa},
  title        = {Alternating local search based {VNS} for linear classification},
  journal      = {Ann. Oper. Res.},
  volume       = {174},
  number       = {1},
  pages        = {121--134},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10479-009-0538-z},
  doi          = {10.1007/S10479-009-0538-Z},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/anor/PlastriaBC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/LucasAFFACKBCBM10,
  author       = {Richard M. Lucas and
                  John Armston and
                  Russell Fairfax and
                  Rod Fensham and
                  Arnon Accad and
                  Jo{\~{a}}o Carreiras and
                  Jack Kelley and
                  Peter Bunting and
                  Daniel Clewley and
                  Steven Bray and
                  Daniel J. Metcalfe and
                  John Dwyer and
                  Michiala Bowen and
                  Teresa Eyre and
                  Melinda Laidlaw and
                  Masanobu Shimada},
  title        = {An Evaluation of the {ALOS} {PALSAR} L-Band Backscatter - Above Ground
                  Biomass Relationship Queensland, Australia: Impacts of Surface Moisture
                  Condition and Vegetation Structure},
  journal      = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
  volume       = {3},
  number       = {4-2},
  pages        = {576--593},
  year         = {2010},
  url          = {https://doi.org/10.1109/JSTARS.2010.2086436},
  doi          = {10.1109/JSTARS.2010.2086436},
  timestamp    = {Tue, 31 Mar 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/staeors/LucasAFFACKBCBM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibcb/BiVL10,
  author       = {Chengpeng Bi and
                  Carrie A. Vyhlidal and
                  J. Steven Leeder},
  title        = {Supervised learning of maternal cigarette-smoking signatures from
                  placental gene expression data: {A} case study},
  booktitle    = {Proceedings of the 2010 {IEEE} Symposium on Computational Intelligence
                  in Bioinformatics and Computational Biology, {CIBCB} 2010, Montreal,
                  QC, Canada, May 2-5, 2010},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CIBCB.2010.5510587},
  doi          = {10.1109/CIBCB.2010.5510587},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cibcb/BiVL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/LiZHW10,
  author       = {Xue Li and
                  Ruolin Zhou and
                  Steven Hong and
                  Zhiqiang Wu},
  title        = {Total Inter-Carrier Interference Cancellation for {MC-CDMA} System
                  in Mobile Environment},
  booktitle    = {Proceedings of the Global Communications Conference, 2010. {GLOBECOM}
                  2010, 6-10 December 2010, Miami, Florida, {USA}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/GLOCOM.2010.5684152},
  doi          = {10.1109/GLOCOM.2010.5684152},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/globecom/LiZHW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/MehrpouyanB10,
  author       = {Hani Mehrpouyan and
                  Steven D. Blostein},
  title        = {Synchronization in Cooperative Networks: Estimation of Multiple Carrier
                  Frequency Offsets},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2010, Cape Town, South Africa, 23-27 May 2010},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICC.2010.5502769},
  doi          = {10.1109/ICC.2010.5502769},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/MehrpouyanB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/HaynesC10,
  author       = {Steven R. Haynes and
                  John M. Carroll},
  editor       = {Rajiv Sabherwal and
                  Mary Sumner},
  title        = {The Range and Role of Theory in Information Systems Design Research:
                  from Concepts to Construction},
  booktitle    = {Proceedings of the International Conference on Information Systems,
                  {ICIS} 2010, Saint Louis, Missouri, USA, December 12-15, 2010},
  pages        = {136},
  publisher    = {Association for Information Systems},
  year         = {2010},
  url          = {http://aisel.aisnet.org/icis2010\_submissions/136},
  timestamp    = {Fri, 31 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icis/HaynesC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipcv/WiedermanO10,
  author       = {Steven D. Wiederman and
                  David C. O'Carroll},
  editor       = {Hamid R. Arabnia and
                  Leonidas Deligiannidis and
                  Gerald Schaefer and
                  Ashu M. G. Solo},
  title        = {Computational Modeling of Inhibitory Interactions Underlying Neural
                  Mechanisms for Target Discrimination},
  booktitle    = {Proceedings of the 2010 International Conference on Image Processing,
                  Computer Vision, {\&} Pattern Recognition, {IPCV} 2010, July 12-15,
                  2010, Las Vegas, Nevada, USA, 2 Volumes},
  pages        = {841--845},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Mon, 24 Feb 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipcv/WiedermanO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/ArbabianACKCATPGN10,
  author       = {Amin Arbabian and
                  Bagher Afshar and
                  Jun{-}Chau Chien and
                  Shinwon Kang and
                  Steven Callender and
                  Ehsan Adabi and
                  Stefano Dal Toso and
                  Romain Pilard and
                  Daniel Gloria and
                  Ali M. Niknejad},
  title        = {A 90GHz-carrier 30GHz-bandwidth hybrid switching transmitter with
                  integrated antenna},
  booktitle    = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2010,
                  Digest of Technical Papers, San Francisco, CA, USA, 7-11 February,
                  2010},
  pages        = {420--421},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISSCC.2010.5433852},
  doi          = {10.1109/ISSCC.2010.5433852},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/isscc/ArbabianACKCATPGN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pgas/VormwaldWCSW10,
  author       = {Steven Vormwald and
                  Wei Wang and
                  Steve Carr and
                  Steven Seidel and
                  Z. Wang},
  editor       = {Jos{\'{e}} E. Moreira and
                  Costin Iancu and
                  Vijay A. Saraswat},
  title        = {Predicting remote reuse distance patterns in {UPC} applications},
  booktitle    = {Proceedings of the Fourth Conference on Partitioned Global Address
                  Space Programming Model, {PGAS} 2010, New York, NY, USA, October 12-15,
                  2010},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/2020373.2020374},
  doi          = {10.1145/2020373.2020374},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pgas/VormwaldWCSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcv/CarrollS09,
  author       = {Robert E. Carroll and
                  Steven M. Seitz},
  title        = {Rectified Surface Mosaics},
  journal      = {Int. J. Comput. Vis.},
  volume       = {85},
  number       = {3},
  pages        = {307--315},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11263-009-0264-7},
  doi          = {10.1007/S11263-009-0264-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcv/CarrollS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/HuangGF09,
  author       = {Qinfei Huang and
                  Mounir Ghogho and
                  Steven Freear},
  title        = {Pilot design for {MIMO} {OFDM} systems with virtual carriers},
  journal      = {{IEEE} Trans. Signal Process.},
  volume       = {57},
  number       = {5},
  pages        = {2024--2029},
  year         = {2009},
  url          = {https://doi.org/10.1109/TSP.2008.2011824},
  doi          = {10.1109/TSP.2008.2011824},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsp/HuangGF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/HaynesCKXB09,
  author       = {Steven R. Haynes and
                  John M. Carroll and
                  Thomas George Kannampallil and
                  Lu Xiao and
                  Paula M. Bach},
  editor       = {Dan R. Olsen Jr. and
                  Richard B. Arthur and
                  Ken Hinckley and
                  Meredith Ringel Morris and
                  Scott E. Hudson and
                  Saul Greenberg},
  title        = {Design research as explanation: perceptions in the field},
  booktitle    = {Proceedings of the 27th International Conference on Human Factors
                  in Computing Systems, {CHI} 2009, Boston, MA, USA, April 4-9, 2009},
  pages        = {1121--1130},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1518701.1518873},
  doi          = {10.1145/1518701.1518873},
  timestamp    = {Sun, 04 Aug 2024 19:38:26 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/HaynesCKXB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/OmerSK09,
  author       = {Mohammad Omer and
                  Masoud Sajadieh and
                  J. Stevenson Kenney},
  title        = {A Fast Converging Adaptive Pre-Distorter for Multi-Carrier Transmitters},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2009, Dresden, Germany, 14-18 June 2009},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICC.2009.5198600},
  doi          = {10.1109/ICC.2009.5198600},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/OmerSK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismar/HendersonF09,
  author       = {Steven J. Henderson and
                  Steven Feiner},
  editor       = {Gudrun Klinker and
                  Hideo Saito and
                  Tobias H{\"{o}}llerer},
  title        = {Evaluating the benefits of augmented reality for task localization
                  in maintenance of an armored personnel carrier turret},
  booktitle    = {Science {\&} Technology Proceedings, 8th {IEEE} International
                  Symposium on Mixed and Augmented Reality 2009, {ISMAR} 2009, Orlando,
                  Florida, USA, October 19-22, 2009},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISMAR.2009.5336486},
  doi          = {10.1109/ISMAR.2009.5336486},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismar/HendersonF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/conll/2009,
  editor       = {Suzanne Stevenson and
                  Xavier Carreras},
  title        = {Proceedings of the Thirteenth Conference on Computational Natural
                  Language Learning, CoNLL 2009, Boulder, Colorado, USA, June 4-5, 2009},
  publisher    = {{ACL}},
  year         = {2009},
  url          = {https://aclanthology.org/volumes/W09-11/},
  isbn         = {978-1-932432-29-9},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/conll/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/HaynesBC08,
  author       = {Steven R. Haynes and
                  Paula M. Bach and
                  John M. Carroll},
  title        = {Scientific design rationale},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {22},
  number       = {4},
  pages        = {359--373},
  year         = {2008},
  url          = {https://doi.org/10.1017/S0890060408000243},
  doi          = {10.1017/S0890060408000243},
  timestamp    = {Mon, 27 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/HaynesBC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/MarquezCLS08,
  author       = {Llu{\'{\i}}s M{\`{a}}rquez and
                  Xavier Carreras and
                  Kenneth C. Litkowski and
                  Suzanne Stevenson},
  title        = {Semantic Role Labeling: An Introduction to the Special Issue},
  journal      = {Comput. Linguistics},
  volume       = {34},
  number       = {2},
  pages        = {145--159},
  year         = {2008},
  url          = {https://doi.org/10.1162/coli.2008.34.2.145},
  doi          = {10.1162/COLI.2008.34.2.145},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/coling/MarquezCLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/AndryTWSWDM08,
  author       = {Paul S. Andry and
                  Cornelia K. Tsang and
                  Bucknell C. Webb and
                  Edmund J. Sprogis and
                  Steven L. Wright and
                  Bing Dang and
                  Dennis G. Manzer},
  title        = {Fabrication and characterization of robust through-silicon vias for
                  silicon-carrier applications},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {52},
  number       = {6},
  pages        = {571--581},
  year         = {2008},
  url          = {https://doi.org/10.1147/JRD.2008.5388558},
  doi          = {10.1147/JRD.2008.5388558},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/AndryTWSWDM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/SeibelCDJMLSK08,
  author       = {Eric J. Seibel and
                  Robert E. Carroll and
                  Jason A. Dominitz and
                  Richard S. Johnston and
                  C. David Melville and
                  Cameron M. Lee and
                  Steven M. Seitz and
                  Michael B. Kimmey},
  title        = {Tethered Capsule Endoscopy, {A} Low-Cost and High-Performance Alternative
                  Technology for the Screening of Esophageal Cancer and Barrett's Esophagus},
  journal      = {{IEEE} Trans. Biomed. Eng.},
  volume       = {55},
  number       = {3},
  pages        = {1032--1042},
  year         = {2008},
  url          = {https://doi.org/10.1109/TBME.2008.915680},
  doi          = {10.1109/TBME.2008.915680},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tbe/SeibelCDJMLSK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adma/PlastriaBC08,
  author       = {Frank Plastria and
                  Steven De Bruyne and
                  Emilio Carrizosa},
  editor       = {Changjie Tang and
                  Charles X. Ling and
                  Xiaofang Zhou and
                  Nick Cercone and
                  Xue Li},
  title        = {Dimensionality Reduction for Classification},
  booktitle    = {Advanced Data Mining and Applications, 4th International Conference,
                  {ADMA} 2008, Chengdu, China, October 8-10, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5139},
  pages        = {411--418},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88192-6\_38},
  doi          = {10.1007/978-3-540-88192-6\_38},
  timestamp    = {Sat, 08 Feb 2020 13:05:13 +0100},
  biburl       = {https://dblp.org/rec/conf/adma/PlastriaBC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/DuricLGLHLSRBX08,
  author       = {Neb Duric and
                  Cuiping Li and
                  Carri Glide{-}Hurst and
                  Peter Littrup and
                  Lianjie Huang and
                  Jessica Lupinacci and
                  Steven Schmidt and
                  Olsi Rama and
                  Lisa Bey{-}Knight and
                  Yang Xu},
  title        = {Breast Imaging with Ultrasound Tomography: Clinical Results at the
                  Karmanos Cancer Institute},
  booktitle    = {Proceedings of the 2008 International Conference on BioMedical Engineering
                  and Informatics, {BMEI} 2008, May 28-30, 2008, Sanya, Hainan, China
                  - Volume 2},
  pages        = {713--717},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/BMEI.2008.321},
  doi          = {10.1109/BMEI.2008.321},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bmei/DuricLGLHLSRBX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/broadnets/NiJZG08,
  author       = {Qiang Ni and
                  Jehanzeb Jehanzeb and
                  Yang Zhang and
                  Sheng{-}Uei Guan},
  editor       = {Izzat Darwazeh and
                  Byrav Ramamurthy},
  title        = {A Minimum Distance guided Genetic Algorithm for Multi-User Detection
                  in a Multi-Carrier {CDMA} wireless broadband system},
  booktitle    = {5th International {ICST} Conference on Broadband Communications, Networks,
                  and Systems, {BROADNETS} 2008, London, UK, September 8-11, 2008},
  pages        = {500--505},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/BROADNETS.2008.4769133},
  doi          = {10.1109/BROADNETS.2008.4769133},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/broadnets/NiJZG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/BrickerBRBPGMLCZTSHHMMSLA08,
  author       = {Leah A. Bricker and
                  Philip Bell and
                  Suzanne Reeve and
                  Brigid Barron and
                  Nichole Pinkard and
                  Kimberly Gomez and
                  Caitlin Kennedy Martin and
                  Akili Lee and
                  Mark Chen and
                  Heather Toomey Zimmerman and
                  Carrie Tzou and
                  Giovanna Scalone and
                  Christopher Hoadley and
                  Sameer Honwad and
                  V{\'{e}}ronique Mertl and
                  Laurie McCarthy and
                  Reed Stevens and
                  Sheldon Levias and
                  Fl{\'{a}}vio S. Azevedo},
  editor       = {Paul A. Kirschner and
                  Jeroen J. G. van Merri{\"{e}}nboer and
                  Ton de Jong},
  title        = {Mapping the learning pathways and processes associated with the development
                  of expertise and learner identities},
  booktitle    = {Cre8ing a learning world: Proceedings of the 8th International Conference
                  for the Learning Sciences, {ICLS} 2008, Utrecht, The Netherlands,
                  June 23-28, 2008, Volume 3},
  pages        = {206--213},
  publisher    = {International Society of the Learning Sciences},
  year         = {2008},
  url          = {https://repository.isls.org/handle/1/3247},
  timestamp    = {Mon, 10 May 2021 16:29:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icls/BrickerBRBPGMLCZTSHHMMSLA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/Durrant-WhytePRSN07,
  author       = {Hugh F. Durrant{-}Whyte and
                  Daniel Pagac and
                  Ben Rogers and
                  Michael Stevens and
                  Graeme Nelmes},
  title        = {Field and service applications - An autonomous straddle carrier for
                  movement of shipping containers - From Research to Operational Autonomous
                  Systems},
  journal      = {{IEEE} Robotics Autom. Mag.},
  volume       = {14},
  number       = {3},
  pages        = {14--23},
  year         = {2007},
  url          = {https://doi.org/10.1109/MRA.2007.901316},
  doi          = {10.1109/MRA.2007.901316},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ram/Durrant-WhytePRSN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acllaw/GanchevPMCW07,
  author       = {Kuzman Ganchev and
                  Fernando Pereira and
                  Mark A. Mandel and
                  Steven Carroll and
                  Peter S. White},
  editor       = {Branimir Boguraev and
                  Nancy Ide and
                  Adam Meyers and
                  Shigeko Nariyama and
                  Manfred Stede and
                  Janyce Wiebe and
                  Graham Wilcock},
  title        = {Semi-Automated Named Entity Annotation},
  booktitle    = {Proceedings of the Linguistic Annotation Workshop, LAW@ACL 2007, Prague,
                  Czech Republic, June 28-29, 2007},
  pages        = {53--56},
  publisher    = {Association for Computational Linguistics},
  year         = {2007},
  url          = {https://aclanthology.org/W07-1509/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acllaw/GanchevPMCW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bionlp/CrammerDGTC07,
  author       = {Koby Crammer and
                  Mark Dredze and
                  Kuzman Ganchev and
                  Partha Pratim Talukdar and
                  Steven Carroll},
  editor       = {K. Bretonnel Cohen and
                  Dina Demner{-}Fushman and
                  Carol Friedman and
                  Lynette Hirschman and
                  John Pestian},
  title        = {Automatic Code Assignment to Medical Text},
  booktitle    = {Biological, translational, and clinical language processing, BioNLP@ACL
                  2007, Prague, Czech Republic, June 29, 2007},
  pages        = {129--136},
  publisher    = {Association for Computational Linguistics},
  year         = {2007},
  url          = {https://aclanthology.org/W07-1017/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bionlp/CrammerDGTC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HaynesSC07,
  author       = {Steven R. Haynes and
                  Wendy A. Schafer and
                  John M. Carroll},
  title        = {Leveraging and Limiting Practical Drift in Emergency Response Planning},
  booktitle    = {40th Hawaii International International Conference on Systems Science
                  {(HICSS-40} 2007), {CD-ROM} / Abstracts Proceedings, 3-6 January 2007,
                  Waikoloa, Big Island, HI, {USA}},
  pages        = {200},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/HICSS.2007.322},
  doi          = {10.1109/HICSS.2007.322},
  timestamp    = {Thu, 30 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/HaynesSC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/CarrollS07,
  author       = {Robert E. Carroll and
                  Steven M. Seitz},
  title        = {Rectified Surface Mosaics},
  booktitle    = {{IEEE} 11th International Conference on Computer Vision, {ICCV} 2007,
                  Rio de Janeiro, Brazil, October 14-20, 2007},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCV.2007.4409128},
  doi          = {10.1109/ICCV.2007.4409128},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccv/CarrollS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/LastRCO07,
  author       = {Philipp Last and
                  Annika Raatz and
                  Juan A. Carretero and
                  Steven M. O'Brien},
  title        = {A general approach to solve the singular kinematic problem},
  booktitle    = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina,
                  San Diego, California, {USA}},
  pages        = {3943--3949},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IROS.2007.4399218},
  doi          = {10.1109/IROS.2007.4399218},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/LastRCO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/CarrollP06,
  author       = {Steven Carroll and
                  Vladimir Pavlovic},
  title        = {Protein classification using probabilistic chain graphs and the Gene
                  Ontology structure},
  journal      = {Bioinform.},
  volume       = {22},
  number       = {15},
  pages        = {1871--1878},
  year         = {2006},
  url          = {https://doi.org/10.1093/bioinformatics/btl187},
  doi          = {10.1093/BIOINFORMATICS/BTL187},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/CarrollP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/JinMLMCLPWW06,
  author       = {Yang Jin and
                  Ryan T. McDonald and
                  Kevin Lerman and
                  Mark A. Mandel and
                  Steven Carroll and
                  Mark Y. Liberman and
                  Fernando C. N. Pereira and
                  Raymond S. Winters and
                  Peter S. White},
  title        = {Automated recognition of malignancy mentions in biomedical literature},
  journal      = {{BMC} Bioinform.},
  volume       = {7},
  pages        = {492},
  year         = {2006},
  url          = {https://doi.org/10.1186/1471-2105-7-492},
  doi          = {10.1186/1471-2105-7-492},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/JinMLMCLPWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/LazoLMACMZHN06,
  author       = {Robert Lazo and
                  Wenkai Li and
                  Michelle Meigs and
                  Sheila Abner and
                  John Carroll and
                  Charles Miller and
                  Patina Zarcone and
                  Steven Hinrichs and
                  Dale Nordenberg},
  title        = {The {APHL/CDC} Public Health Laboratory Interoperability Project Portal:
                  {A} Web-based Collaborative Tool to Establish a National Harmonized
                  Vocabulary for Public Health Data Exchange},
  booktitle    = {{AMIA} 2006, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 11-15, 2006},
  publisher    = {{AMIA}},
  year         = {2006},
  url          = {https://knowledge.amia.org/amia-55142-a2006a-1.620145/t-002-1.622268/f-001-1.622269/a-327-1.622760/a-328-1.622757},
  timestamp    = {Wed, 17 Apr 2024 11:48:16 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/LazoLMACMZHN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/FangCOW06,
  author       = {Changpeng Fang and
                  Steve Carr and
                  Soner {\"{O}}nder and
                  Zhenlin Wang},
  editor       = {Alan Mycroft and
                  Andreas Zeller},
  title        = {Path-Based Reuse Distance Analysis},
  booktitle    = {Compiler Construction, 15th International Conference, {CC} 2006, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3923},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11688839\_4},
  doi          = {10.1007/11688839\_4},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/FangCOW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/FangCOW06,
  author       = {Changpeng Fang and
                  Steve Carr and
                  Soner {\"{O}}nder and
                  Zhenlin Wang},
  editor       = {Gregory K. Egan and
                  Yoichi Muraoka},
  title        = {Feedback-directed memory disambiguation through store distance analysis},
  booktitle    = {Proceedings of the 20th Annual International Conference on Supercomputing,
                  {ICS} 2006, Cairns, Queensland, Australia, June 28 - July 01, 2006},
  pages        = {278--287},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1183401.1183440},
  doi          = {10.1145/1183401.1183440},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/FangCOW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/WuB06,
  author       = {Jinsong Wu and
                  Steven D. Blostein},
  title        = {Linear Dispersion for Single-Carrier Communications in Frequency Selective
                  Channels},
  booktitle    = {Proceedings of the 64th {IEEE} Vehicular Technology Conference, {VTC}
                  Fall 2006, 25-28 September 2006, Montr{\'{e}}al, Qu{\'{e}}bec,
                  Canada},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/VTCF.2006.324},
  doi          = {10.1109/VTCF.2006.324},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/WuB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/KnickerbockerABDHJKMPPSSSSTWWMSD05,
  author       = {John U. Knickerbocker and
                  Paul S. Andry and
                  L. Paivikki Buchwalter and
                  Alina Deutsch and
                  Raymond R. Horton and
                  Keith A. Jenkins and
                  Young Hoon Kwark and
                  Gerald McVicker and
                  Chirag S. Patel and
                  Robert J. Polastre and
                  Christian D. Schuster and
                  Arun Sharma and
                  Sri M. Sri{-}Jayantha and
                  Christopher W. Surovic and
                  Cornelia K. Tsang and
                  Bucknell C. Webb and
                  Steven L. Wright and
                  Samuel R. McKnight and
                  Edmund J. Sprogis and
                  Bing Dang},
  title        = {Development of next-generation system-on-package {(SOP)} technology
                  based on silicon carriers with fine-pitch chip interconnection},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {49},
  number       = {4-5},
  pages        = {725--754},
  year         = {2005},
  url          = {https://doi.org/10.1147/rd.494.0725},
  doi          = {10.1147/RD.494.0725},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/KnickerbockerABDHJKMPPSSSSTWWMSD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CarringtonSNS05,
  author       = {David A. Carrington and
                  Paul A. Strooper and
                  Sharron Newby and
                  Terry Stevenson},
  title        = {An industry/university collaboration to upgrade software engineering
                  knowledge and skills in industry},
  journal      = {J. Syst. Softw.},
  volume       = {75},
  number       = {1-2},
  pages        = {29--39},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2004.02.020},
  doi          = {10.1016/J.JSS.2004.02.020},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/CarringtonSNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/ElkinBBHCBW05,
  author       = {Peter L. Elkin and
                  Steven H. Brown and
                  Brent A. Bauer and
                  Casey S. Husser and
                  William Carruth and
                  Larry Bergstrom and
                  Dietlind Wahner{-}Roedler},
  title        = {A controlled trial of automated classification of negation from clinical
                  notes},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {5},
  pages        = {13},
  year         = {2005},
  url          = {https://doi.org/10.1186/1472-6947-5-13},
  doi          = {10.1186/1472-6947-5-13},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/ElkinBBHCBW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/WangB05,
  author       = {Neng Wang and
                  Steven D. Blostein},
  title        = {Comparison of CP-based single carrier and {OFDM} with power allocation},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {53},
  number       = {3},
  pages        = {391--394},
  year         = {2005},
  url          = {https://doi.org/10.1109/TCOMM.2005.843432},
  doi          = {10.1109/TCOMM.2005.843432},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/WangB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/FangCOW05,
  author       = {Changpeng Fang and
                  Steve Carr and
                  Soner {\"{O}}nder and
                  Zhenlin Wang},
  title        = {Instruction Based Memory Distance Analysis and its Application},
  booktitle    = {14th International Conference on Parallel Architectures and Compilation
                  Techniques {(PACT} 2005), 17-21 September 2005, St. Louis, MO, {USA}},
  pages        = {27--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/PACT.2005.26},
  doi          = {10.1109/PACT.2005.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/FangCOW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/CarrO05,
  author       = {Steve Carr and
                  Soner {\"{O}}nder},
  editor       = {Nader Bagherzadeh and
                  Mateo Valero and
                  Alex Ram{\'{\i}}rez},
  title        = {A case for a working-set-based memory hierarchy},
  booktitle    = {Proceedings of the Second Conference on Computing Frontiers, 2005,
                  Ischia, Italy, May 4-6, 2005},
  pages        = {252--261},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1062261.1062304},
  doi          = {10.1145/1062261.1062304},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cf/CarrO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/KnickerbockerPA05,
  author       = {John U. Knickerbocker and
                  Chirag S. Patel and
                  Paul S. Andry and
                  Cornelia K. Tsang and
                  L. Paivikki Buchwalter and
                  Edmund J. Sprogis and
                  Hua Gan and
                  Raymond R. Horton and
                  Robert J. Polastre and
                  Steven L. Wright and
                  Christian D. Schuster and
                  Christian W. Baks and
                  Fuad E. Doany and
                  Joanna Rosner and
                  Steven Cordes},
  title        = {Three dimensional silicon integration using fine pitch interconnection,
                  silicon processing and silicon carrier packaging technology},
  booktitle    = {Proceedings of the {IEEE} 2005 Custom Integrated Circuits Conference,
                  {CICC} 2005, DoubleTree Hotel, San Jose, California, USA, September
                  18-21, 2005},
  pages        = {659--662},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/CICC.2005.1568756},
  doi          = {10.1109/CICC.2005.1568756},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cicc/KnickerbockerPA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/ZhouOC05,
  author       = {Peng Zhou and
                  Soner {\"{O}}nder and
                  Steve Carr},
  editor       = {Arvind and
                  Larry Rudolph},
  title        = {Fast branch misprediction recovery in out-of-order superscalar processors},
  booktitle    = {Proceedings of the 19th Annual International Conference on Supercomputing,
                  {ICS} 2005, Cambridge, Massachusetts, USA, June 20-22, 2005},
  pages        = {41--50},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088149.1088156},
  doi          = {10.1145/1088149.1088156},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/ZhouOC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CarrollP04,
  author       = {Steven Carroll and
                  Constantine D. Polychronopoulos},
  title        = {A Framework for Incremental Extensible Compiler Construction},
  journal      = {Int. J. Parallel Program.},
  volume       = {32},
  number       = {4},
  pages        = {289--316},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:IJPP.0000035816.93295.68},
  doi          = {10.1023/B:IJPP.0000035816.93295.68},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/CarrollP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdi/AndrioleMACEHPRSS04,
  author       = {Katherine P. Andriole and
                  Richard L. Morin and
                  Ronald L. Arenson and
                  John A. Carrino and
                  Bradley James Erickson and
                  Steven C. Horii and
                  David W. Piraino and
                  Bruce I. Reiner and
                  J. Anthony Seibert and
                  Eliot L. Siegel},
  title        = {Addressing the Coming Radiology Crisis - The Society for Computer
                  Applications in Radiology Transforming the Radiological Interpretation
                  Process (TRIP\({}^{\mbox{TM}}\)) Initiative},
  journal      = {J. Digit. Imaging},
  volume       = {17},
  number       = {4},
  pages        = {235--243},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10278-004-1027-1},
  doi          = {10.1007/S10278-004-1027-1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jdi/AndrioleMACEHPRSS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wicomm/ZhuGYCRH04,
  author       = {Jing Zhu and
                  Xingang Guo and
                  L. Lily Yang and
                  W. Steven Conner and
                  Sumit Roy and
                  Mousumi Mitra Hazra},
  title        = {Adapting physical carrier sensing to maximize spatial reuse in 802.11
                  mesh networks},
  journal      = {Wirel. Commun. Mob. Comput.},
  volume       = {4},
  number       = {8},
  pages        = {933--946},
  year         = {2004},
  url          = {https://doi.org/10.1002/wcm.264},
  doi          = {10.1002/WCM.264},
  timestamp    = {Wed, 20 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/wicomm/ZhuGYCRH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMmsp/FangCOW04,
  author       = {Changpeng Fang and
                  Steve Carr and
                  Soner {\"{O}}nder and
                  Zhenlin Wang},
  editor       = {Chen Ding and
                  Stephen M. Blackburn},
  title        = {Reuse-distance-based miss-rate prediction on a per instruction basis},
  booktitle    = {Proceedings of the 2004 workshop on Memory System Performance, Washington,
                  DC, USA, June 8, 2004},
  pages        = {60--68},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1065895.1065906},
  doi          = {10.1145/1065895.1065906},
  timestamp    = {Fri, 13 Jan 2023 16:32:26 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMmsp/FangCOW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/CarrS04,
  author       = {Steve Carr and
                  Philip H. Sweany},
  editor       = {Mary Jane Irwin and
                  Wei Zhao and
                  Luciano Lavagno and
                  Scott A. Mahlke},
  title        = {Automatic data partitioning for the agere payload plus network processor},
  booktitle    = {Proceedings of the 2004 International Conference on Compilers, Architecture,
                  and Synthesis for Embedded Systems, {CASES} 2004, Washington DC, USA,
                  September 22 - 25, 2004},
  pages        = {238--247},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1023833.1023867},
  doi          = {10.1145/1023833.1023867},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/CarrS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ZhuGYC04,
  author       = {Jing Zhu and
                  Xingang Guo and
                  L. Lily Yang and
                  W. Steven Conner},
  title        = {Leveraging spatial reuse in 802.11 mesh networks with enhanced physical
                  carrier sensing},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2004, Paris, France, 20-24 June 2004},
  pages        = {4004--4011},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICC.2004.1313303},
  doi          = {10.1109/ICC.2004.1313303},
  timestamp    = {Wed, 20 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icc/ZhuGYC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/MaCG04,
  author       = {Yin Ma and
                  Steve Carr and
                  Rong Ge},
  title        = {Low-Cost Register-Pressure Prediction for Scalar Replacement Using
                  Pseudo-Schedules},
  booktitle    = {33rd International Conference on Parallel Processing {(ICPP} 2004),
                  15-18 August 2004, Montreal, Quebec, Canada},
  pages        = {116--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICPP.2004.1327911},
  doi          = {10.1109/ICPP.2004.1327911},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/MaCG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Carroll03,
  author       = {Steven Carroll},
  title        = {Constructing Efficient Extensible Compilers With Incremental Analysis},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2003},
  url          = {https://hdl.handle.net/2142/80829},
  timestamp    = {Thu, 03 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Carroll03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/GadirajuVLR03,
  author       = {Sashidhar Gadiraju and
                  Carrie A. Vyhlidal and
                  J. Steven Leeder and
                  Peter K. Rogan},
  title        = {Genome-wide prediction, display and refinement of binding sites with
                  information theory-based models},
  journal      = {{BMC} Bioinform.},
  volume       = {4},
  pages        = {38},
  year         = {2003},
  url          = {https://doi.org/10.1186/1471-2105-4-38},
  doi          = {10.1186/1471-2105-4-38},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/GadirajuVLR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/CarrMS03,
  author       = {Steve Carr and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  title        = {ThreadMentor: a pedagogical tool for multithreaded programming},
  journal      = {{ACM} J. Educ. Resour. Comput.},
  volume       = {3},
  number       = {1},
  pages        = {1},
  year         = {2003},
  url          = {https://doi.org/10.1145/958795.958796},
  doi          = {10.1145/958795.958796},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jeric/CarrMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/ErcegovacLKSGG03,
  author       = {Milos D. Ercegovac and
                  Tom{\'{a}}s Lang and
                  Y. Kim and
                  Bang{-}Sup Song and
                  John Grosspietsch and
                  Steven F. Gillig},
  title        = {Comments on "A carry-free 54 b{\texttimes}54 b multiplier using equivalent
                  bit conversion algorithm"},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {38},
  number       = {1},
  pages        = {160--161},
  year         = {2003},
  url          = {https://doi.org/10.1109/JSSC.2002.806269},
  doi          = {10.1109/JSSC.2002.806269},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/ErcegovacLKSGG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/KimSGG03,
  author       = {Yun Kim and
                  Bang{-}Sup Song and
                  John Grosspietsch and
                  Steven F. Gillig},
  title        = {Correction to "A carry-free 54 b x 54 b multiplier using equivalent
                  bit conversion algorithm"},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {38},
  number       = {1},
  pages        = {159},
  year         = {2003},
  url          = {https://doi.org/10.1109/JSSC.2002.806268},
  doi          = {10.1109/JSSC.2002.806268},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/KimSGG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CarrS03,
  author       = {Steve Carr and
                  Philip H. Sweany},
  title        = {An experimental evaluation of scalar replacement on scientific benchmarks},
  journal      = {Softw. Pract. Exp.},
  volume       = {33},
  number       = {15},
  pages        = {1419--1445},
  year         = {2003},
  url          = {https://doi.org/10.1002/spe.546},
  doi          = {10.1002/SPE.546},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spe/CarrS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/StrooperCNS03,
  author       = {Paul A. Strooper and
                  David A. Carrington and
                  Sharron Newby and
                  Terry Stevenson},
  title        = {Teaching Software Engineering Fundamentals to Practicing Engineers},
  booktitle    = {16th Conference on Software Engineering Education and Training (CSEE{\&}T
                  2003), 20-22 March 2003, Madrid, Spain},
  pages        = {36--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSEE.2003.1191348},
  doi          = {10.1109/CSEE.2003.1191348},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csee/StrooperCNS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/CarrollP03,
  author       = {Steven Carroll and
                  Constantine D. Polychronopoulos},
  editor       = {Utpal Banerjee and
                  Kyle A. Gallivan and
                  Antonio Gonz{\'{a}}lez},
  title        = {A framework for incremental extensible compiler construction},
  booktitle    = {Proceedings of the 17th Annual International Conference on Supercomputing,
                  {ICS} 2003, San Francisco, CA, USA, June 23-26, 2003},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/782814.782824},
  doi          = {10.1145/782814.782824},
  timestamp    = {Tue, 06 Nov 2018 11:07:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/CarrollP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/CarrFJMS03,
  author       = {Steve Carr and
                  Changpeng Fang and
                  Tim Jozwowski and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Concurrent Mentor: {A} Visualization System for Distributed Programming
                  Education},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} '03, June 23 - 26,
                  2003, Las Vegas, Nevada, USA, Volume 4},
  pages        = {1676--1682},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/CarrFJMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/QianCS02,
  author       = {Yi Qian and
                  Steve Carr and
                  Philip H. Sweany},
  title        = {Optimizing Loop Performance for Clustered {VLIW} Architectures},
  booktitle    = {2002 International Conference on Parallel Architectures and Compilation
                  Techniques {(PACT} 2002), 22-25 September 2002, Charlottesville, VA,
                  {USA}},
  pages        = {271--280},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PACT.2002.1106026},
  doi          = {10.1109/PACT.2002.1106026},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/QianCS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/SchaferQC02,
  author       = {Benjamin Carri{\'{o}}n Sch{\"{a}}fer and
                  Steven F. Quigley and
                  Andrew H. C. Chan},
  title        = {Analysis and Implementation of the Discrete Element Method Using a
                  Dedicated Highly Parallel Architecture in Reconfigurable Computing},
  booktitle    = {10th {IEEE} Symposium on Field-Programmable Custom Computing Machines
                  {(FCCM} 2002), 22-24 April 2002, Napa, CA, USA, Proceedings},
  pages        = {173--181},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/FPGA.2002.1106672},
  doi          = {10.1109/FPGA.2002.1106672},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fccm/SchaferQC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/SchaferQC02,
  author       = {Benjamin Carri{\'{o}}n Sch{\"{a}}fer and
                  Steven F. Quigley and
                  Andrew H. C. Chan},
  editor       = {Manfred Glesner and
                  Peter Zipf and
                  Michel Renovell},
  title        = {Scalable Implementation of the Discrete Element Method on a Reconfigurable
                  Computing Platform},
  booktitle    = {Field-Programmable Logic and Applications, Reconfigurable Computing
                  Is Going Mainstream, 12th International Conference, {FPL} 2002, Montpellier,
                  France, September 2-4, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2438},
  pages        = {925--934},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46117-5\_95},
  doi          = {10.1007/3-540-46117-5\_95},
  timestamp    = {Sat, 30 Sep 2023 09:41:27 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/SchaferQC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/SkakunFWC02,
  author       = {Rob S. Skakun and
                  Steven E. Franklin and
                  Mike A. Wulder and
                  A. Carroll},
  title        = {Aerial, GIS, and field data calibration of a Landsat {ETM+} mountain
                  pine beetle detection procedure in British Columbia, Canada},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2002, Toronto, Ontario, Canada, 24-28 June 2002},
  pages        = {2887--2889},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/IGARSS.2002.1026811},
  doi          = {10.1109/IGARSS.2002.1026811},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/SkakunFWC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswc/CarrSR02,
  author       = {Christopher E. Carr and
                  Steven J. Schwartz and
                  Ilia Rosenberg},
  title        = {A Wearable Computer for Support of Astronaut Extravehicular Activity},
  booktitle    = {6th International Symposium on Wearable Computers {(ISWC} 2002), 7-10
                  October 2002, Seattle, WA, {USA}},
  pages        = {23--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ISWC.2002.1167215},
  doi          = {10.1109/ISWC.2002.1167215},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iswc/CarrSR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CarrCJMS02,
  author       = {Steve Carr and
                  Ping Chen and
                  Tim Jozwowski and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  editor       = {Michael E. Caspersen and
                  Daniel T. Joyce and
                  Don Goelman and
                  Ian Utting},
  title        = {Channels, visualization, and topology editor},
  booktitle    = {Proceedings of the 7th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark,
                  June 24-28, 2002},
  pages        = {106--110},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/544414.544448},
  doi          = {10.1145/544414.544448},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/CarrCJMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/QianCS02,
  author       = {Yi Qian and
                  Steve Carr and
                  Philip H. Sweany},
  editor       = {Peter Marwedel and
                  Srinivas Devadas},
  title        = {Loop fusion for clustered {VLIW} architectures},
  booktitle    = {Proceedings of the 2002 Joint Conference on Languages, Compilers,
                  and Tools for Embedded Systems {\&} Software and Compilers for
                  Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June
                  2002},
  pages        = {112--119},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/513829.513850},
  doi          = {10.1145/513829.513850},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lctrts/QianCS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CarrFJMS02,
  author       = {Steve Carr and
                  Changpeng Fang and
                  Tim Jozwowski and
                  Jean Mayo and
                  Ching{-}Kuang Shene},
  editor       = {Judith L. Gersting and
                  Henry MacKay Walker and
                  Scott Grissom},
  title        = {A communication library to support concurrent programming courses},
  booktitle    = {Proceedings of the 33rd {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2002, Cincinnati, Kentucky, USA, February 27 -
                  March 3, 2002},
  pages        = {360--364},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/563340.563478},
  doi          = {10.1145/563340.563478},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/CarrFJMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/KimSGG01,
  author       = {Yun Kim and
                  Bang{-}Sup Song and
                  John Grosspietsch and
                  Steven F. Gillig},
  title        = {A carry-free 54b{\texttimes}54b multiplier using equivalent bit conversion
                  algorithm},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {36},
  number       = {10},
  pages        = {1538--1545},
  year         = {2001},
  url          = {https://doi.org/10.1109/4.953482},
  doi          = {10.1109/4.953482},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/KimSGG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/SchaferQC01,
  author       = {Benjamin Carri{\'{o}}n Sch{\"{a}}fer and
                  Steven F. Quigley and
                  Andrew H. C. Chan},
  editor       = {Gordon J. Brebner and
                  Roger F. Woods},
  title        = {Evaluation of an {FPGA} Implementation of the Discrete Element Method},
  booktitle    = {Field-Programmable Logic and Applications, 11th International Conference,
                  {FPL} 2001, Belfast, Northern Ireland, UK, August 27-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2147},
  pages        = {306--314},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44687-7\_32},
  doi          = {10.1007/3-540-44687-7\_32},
  timestamp    = {Sat, 19 Oct 2019 20:15:05 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/SchaferQC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/CraigCBNP01,
  author       = {David Craig and
                  Steven Carroll and
                  Fabian Breg and
                  Dimitrios S. Nikolopoulos and
                  Constantine D. Polychronopoulos},
  editor       = {Vassil N. Alexandrov and
                  Jack J. Dongarra and
                  Benjoe A. Juliano and
                  Ren{\'{e}} S. Renner and
                  Chih Jeng Kenneth Tan},
  title        = {Improving Java Server Performance with Interruptlets},
  booktitle    = {Computational Science - {ICCS} 2001, International Conference, San
                  Francisco, CA, USA, May 28-30, 2001. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2073},
  pages        = {223--232},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45545-0\_31},
  doi          = {10.1007/3-540-45545-0\_31},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/CraigCBNP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/CarrollKYP01,
  author       = {Steven Carroll and
                  Walden Ko and
                  Mark N. Yankelevsky and
                  Constantine D. Polychronopoulos},
  editor       = {Henry G. Dietz},
  title        = {Optimizing Compiler Design for Modularity and Extensibility},
  booktitle    = {Languages and Compilers for Parallel Computing, 14th International
                  Workshop, {LCPC} 2001, Cumberland Falls, KY, USA, August 1-3, 2001.
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2624},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-35767-X\_1},
  doi          = {10.1007/3-540-35767-X\_1},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/CarrollKYP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/HuangCS01,
  author       = {Xianglong Huang and
                  Steve Carr and
                  Philip H. Sweany},
  editor       = {Seongsoo Hong and
                  Santosh Pande},
  title        = {Loop Transformations for Architectures with Partitioned Register Banks},
  booktitle    = {Proceedings of The Workshop on Languages, Compilers, and Tools for
                  Embedded Systems {(LCTES} 2001), June 22-23, 2001 / The Workshop on
                  Optimization of Middleware and Distributed Systems {(OM} 2001), June
                  18, 2001, Snowbird, Utah, {USA}},
  pages        = {48--55},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384197.384206},
  doi          = {10.1145/384197.384206},
  timestamp    = {Sun, 02 Oct 2022 16:11:14 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/HuangCS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HuangCS01,
  author       = {Xianglong Huang and
                  Steve Carr and
                  Philip H. Sweany},
  editor       = {Rastislav Bod{\'{\i}}k and
                  Vugranam C. Sreedhar},
  title        = {Loop Transformations for Architectures with Partitioned Register Banks},
  booktitle    = {Proceedings of the 2001 {ACM} {SIGPLAN} Workshop on Optimization of
                  Middleware and Distributed Systems, {OM} '01, Snow Bird, Utah, {USA}},
  pages        = {48--55},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384198.384206},
  doi          = {10.1145/384198.384206},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/HuangCS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/ThoenDPE01,
  author       = {Steven Thoen and
                  Luc Deneire and
                  Liesbet Van der Perre and
                  Marc Engels},
  title        = {Constrained least squares {SDMA} detector for single carrier transmission
                  with cyclic prefix},
  booktitle    = {Proceedings of the 54th {IEEE} Vehicular Technology Conference, {VTC}
                  Fall 2001, 7-11 October 2001, Atlantic City, New Jersey, {USA}},
  pages        = {2457--2461},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/VTC.2001.957191},
  doi          = {10.1109/VTC.2001.957191},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/ThoenDPE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/KazmanCW00,
  author       = {Rick Kazman and
                  S. Jeromy Carri{\`{e}}re and
                  Steven G. Woods},
  title        = {Toward a discipline of scenario-based architectural engineering},
  journal      = {Ann. Softw. Eng.},
  volume       = {9},
  pages        = {5--33},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1018964405965},
  doi          = {10.1023/A:1018964405965},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ansoft/KazmanCW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/HiserCS00,
  author       = {Jason Hiser and
                  Steve Carr and
                  Philip H. Sweany},
  title        = {Global Register Partitioning},
  booktitle    = {Proceedings of the 2000 International Conference on Parallel Architectures
                  and Compilation Techniques (PACT'00), Philadelphia, Pennsylvania,
                  USA, October 15-19, 2000},
  pages        = {13--23},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/PACT.2000.888256},
  doi          = {10.1109/PACT.2000.888256},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/HiserCS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HiserCSB00,
  author       = {Jason Hiser and
                  Steve Carr and
                  Philip H. Sweany and
                  Steven J. Beaty},
  title        = {Register Assignment for Software Pipelining with Partitioned Register
                  Banks},
  booktitle    = {Proceedings of the 14th International Parallel {\&} Distributed
                  Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000},
  pages        = {211--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/IPDPS.2000.845983},
  doi          = {10.1109/IPDPS.2000.845983},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/HiserCSB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CarrS00,
  author       = {Steve Carr and
                  Ching{-}Kuang Shene},
  editor       = {Jorma Tarhio and
                  Sally Fincher and
                  Daniel Joyce},
  title        = {A portable class library for teaching multithreaded programming},
  booktitle    = {Proceedings of the 5th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland,
                  June 11-13, 2000},
  pages        = {124--127},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/343048.343138},
  doi          = {10.1145/343048.343138},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/CarrS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BedyCHS00,
  author       = {Michael Bedy and
                  Steve Carr and
                  Xianglong Huang and
                  Ching{-}Kuang Shene},
  editor       = {Lillian (Boots) Cassel and
                  Nell B. Dale and
                  Henry MacKay Walker and
                  Susan M. Haller},
  title        = {A visualization system for multithreaded programming},
  booktitle    = {Proceedings of the 31st {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2000, Austin, Texas, USA, March 7-12, 2000},
  pages        = {1--5},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/330908.331798},
  doi          = {10.1145/330908.331798},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/BedyCHS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/aw/00/LaughlinAOS00,
  author       = {Simon B. Laughlin and
                  John C. Anderson and
                  David C. O'Carroll and
                  Robert R. de Ruyter van Steveninck},
  editor       = {Roland Baddeley and
                  Peter J. B. Hancock and
                  Peter F{\"{o}}ldi{\'{a}}k},
  title        = {Coding Efficiency and the Metabolic Cost of Sensory and Neural Information},
  booktitle    = {Information Theory and the Brain},
  pages        = {41--61},
  publisher    = {Addison-Wesley},
  year         = {2000},
  url          = {https://doi.org/10.1017/cbo9780511665516.005},
  doi          = {10.1017/CBO9780511665516.005},
  timestamp    = {Fri, 19 Jun 2020 12:14:16 +0200},
  biburl       = {https://dblp.org/rec/books/aw/00/LaughlinAOS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/CarrS99,
  author       = {Steve Carr and
                  Philip H. Sweany},
  title        = {Improving software pipelining with hardware support for self-spatial
                  loads},
  journal      = {{SIGARCH} Comput. Archit. News},
  volume       = {27},
  number       = {1},
  pages        = {55--58},
  year         = {1999},
  url          = {https://doi.org/10.1145/309758.309784},
  doi          = {10.1145/309758.309784},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigarch/CarrS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SaitoSCPN99,
  author       = {Hideki Saito and
                  Nicholas Stavrakos and
                  Steven Carroll and
                  Constantine D. Polychronopoulos and
                  Alexandru Nicolau},
  editor       = {Stefan J{\"{a}}hnichen},
  title        = {The Design of the {PROMIS} Compiler},
  booktitle    = {Compiler Construction, 8th International Conference, CC'99, Held as
                  Part of the European Joint Conferences on the Theory and Practice
                  of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1575},
  pages        = {214--228},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49051-7\_15},
  doi          = {10.1007/978-3-540-49051-7\_15},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/SaitoSCPN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/CarriereKW99,
  author       = {S. Jeromy Carri{\`{e}}re and
                  Rick Kazman and
                  Steven G. Woods},
  title        = {Assessing and Maintaining Architectural Quality},
  booktitle    = {3rd European Conference on Software Maintenance and Reengineering
                  {(CSMR} '99), 3-5 March 1999, Amsterdam, The Netherlands},
  pages        = {22--30},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/CSMR.1999.756679},
  doi          = {10.1109/CSMR.1999.756679},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/CarriereKW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KazmanBKCW99,
  author       = {Rick Kazman and
                  Mario Barbacci and
                  Mark Klein and
                  S. Jeromy Carri{\`{e}}re and
                  Steven G. Woods},
  editor       = {Barry W. Boehm and
                  David Garlan and
                  Jeff Kramer},
  title        = {Experience with Performing Architecture Tradeoff Analysis},
  booktitle    = {Proceedings of the 1999 International Conference on Software Engineering,
                  ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
  pages        = {54--63},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/302405.302452},
  doi          = {10.1145/302405.302452},
  timestamp    = {Tue, 04 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/KazmanBKCW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/WoodsCK99,
  author       = {Steven G. Woods and
                  S. Jeromy Carri{\`{e}}re and
                  Rick Kazman},
  title        = {A Semantic Foundation for Architectural Reengineering and Interchange},
  booktitle    = {1999 International Conference on Software Maintenance, {ICSM} 1999,
                  Oxford, England, UK, August 30 - September 3, 1999},
  pages        = {391},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICSM.1999.792637},
  doi          = {10.1109/ICSM.1999.792637},
  timestamp    = {Mon, 08 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsm/WoodsCK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/StavrakosCSPN99,
  author       = {Nicholas Stavrakos and
                  Steven Carroll and
                  Hideki Saito and
                  Constantine D. Polychronopoulos and
                  Alexandru Nicolau},
  editor       = {Larry Carter and
                  Jeanne Ferrante},
  title        = {Symbolic Analysis in the {PROMIS} Compiler},
  booktitle    = {Languages and Compilers for Parallel Computing, 12th International
                  Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1863},
  pages        = {468--471},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44905-1\_33},
  doi          = {10.1007/3-540-44905-1\_33},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/StavrakosCSPN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/CarriereWK99,
  author       = {S. Jeromy Carri{\`{e}}re and
                  Steven G. Woods and
                  Rick Kazman},
  title        = {Software Architectural Transformation},
  booktitle    = {Sixth Working Conference on Reverse Engineering, {WCRE} '99, Atlanta,
                  Georgia, USA, October 6-8, 1999},
  pages        = {13--23},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/WCRE.1999.806943},
  doi          = {10.1109/WCRE.1999.806943},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/CarriereWK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dtj/SweanyCH98,
  author       = {Philip H. Sweany and
                  Steve Carr and
                  Brett L. Huber},
  title        = {Compiler Optimization for Superscalar Systems: Global Instruction
                  Scheduling without Copies},
  journal      = {Digit. Tech. J.},
  volume       = {10},
  number       = {1},
  year         = {1998},
  url          = {https://www.hpl.hp.com/hpjournal/dtj/vol10num1/vol10num1art5.pdf},
  timestamp    = {Mon, 23 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dtj/SweanyCH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KimJT98,
  author       = {Taewhan Kim and
                  William Jao and
                  Steven W. K. Tjiang},
  title        = {Circuit optimization using carry-save-adder cells},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {17},
  number       = {10},
  pages        = {974--984},
  year         = {1998},
  url          = {https://doi.org/10.1109/43.728918},
  doi          = {10.1109/43.728918},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/KimJT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KimJT98,
  author       = {Taewhan Kim and
                  William Jao and
                  Steven W. K. Tjiang},
  editor       = {Basant R. Chawla and
                  Randal E. Bryant and
                  Jan M. Rabaey},
  title        = {Arithmetic Optimization Using Carry-Save-Adders},
  booktitle    = {Proceedings of the 35th Conference on Design Automation, Moscone center,
                  San Francico, California, USA, June 15-19, 1998},
  pages        = {433--438},
  publisher    = {{ACM} Press},
  year         = {1998},
  url          = {https://doi.org/10.1145/277044.277166},
  doi          = {10.1145/277044.277166},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KimJT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KazmanWC98,
  author       = {Rick Kazman and
                  Steven G. Woods and
                  S. Jeromy Carri{\`{e}}re},
  title        = {Requirements for Integrating Software Architecture and Reengineering
                  Models: {CORUM} {II}},
  booktitle    = {5th Working Conference on Reverse Engineering, {WCRE} '98, Honolulu,
                  Hawai, USA, October 12-14, 1998},
  pages        = {154--163},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WCRE.1998.723185},
  doi          = {10.1109/WCRE.1998.723185},
  timestamp    = {Mon, 08 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcre/KazmanWC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/CarrL97,
  author       = {Steve Carr and
                  Richard B. Lehoucq},
  title        = {Compiler Blockability of Dense Matrix Factorizations},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {23},
  number       = {3},
  pages        = {336--361},
  year         = {1997},
  url          = {https://doi.org/10.1145/275323.275325},
  doi          = {10.1145/275323.275325},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toms/CarrL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/BrownhillNNP97,
  author       = {Carrie J. Brownhill and
                  Alexandru Nicolau and
                  Steven Novack and
                  Constantine D. Polychronopoulos},
  title        = {The {PROMIS} Compiler Prototype},
  booktitle    = {Proceedings of the 1997 Conference on Parallel Architectures and Compilation
                  Techniques {(PACT} '97), San Francisco, CA, USA, October 11-15, 1997},
  pages        = {116--125},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/PACT.1997.644008},
  doi          = {10.1109/PACT.1997.644008},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/BrownhillNNP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/EvansLDFDSL97,
  author       = {Steven Evans and
                  Stephen J. Lemon and
                  Carolyn Deters and
                  Ramon M. Fusaro and
                  Carolyn Durham and
                  Carrie Snyder and
                  Henry T. Lynch},
  title        = {Using data mining to characterize {DNA} mutations by patient clinical
                  features},
  booktitle    = {{AMIA} 1997, American Medical Informatics Association Annual Symposium,
                  Nashville, TN, USA, October 25-29, 1997},
  publisher    = {{AMIA}},
  year         = {1997},
  url          = {https://knowledge.amia.org/amia-55142-a1997a-1.585351/t-001-1.587519/f-001-1.587520/a-050-1.587866/a-051-1.587863},
  timestamp    = {Wed, 17 Apr 2024 11:48:58 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/EvansLDFDSL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DingCS97,
  author       = {Chen Ding and
                  Steve Carr and
                  Philip H. Sweany},
  editor       = {Christian Lengauer and
                  Martin Griebl and
                  Sergei Gorlatch},
  title        = {Modulo Scheduling with Cache Reuse Information},
  booktitle    = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
                  Passau, Germany, August 26-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1300},
  pages        = {1079--1083},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0002856},
  doi          = {10.1007/BFB0002856},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/DingCS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ishpc/BrownhillNNP97,
  author       = {Carrie J. Brownhill and
                  Alexandru Nicolau and
                  Steven Novack and
                  Constantine D. Polychronopoulos},
  editor       = {Constantine D. Polychronopoulos and
                  Kazuki Joe and
                  Keijiro Araki and
                  Makoto Amamiya},
  title        = {Achieving Multi-level Parallelization},
  booktitle    = {High Performance Computing, International Symposium, ISHPC'97, Fukuoka,
                  Japan, November 4-6, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1336},
  pages        = {183--194},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0024215},
  doi          = {10.1007/BFB0024215},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ishpc/BrownhillNNP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/CarrG97,
  author       = {Steve Carr and
                  Yiping Guan},
  editor       = {Mark Smotherman and
                  Tom Conte},
  title        = {Unroll-and-Jam Using Uniformly Generated Sets},
  booktitle    = {Proceedings of the Thirtieth Annual {IEEE/ACM} International Symposium
                  on Microarchitecture, {MICRO} 30, Research Triangle Park, North Carolina,
                  USA, December 1-3, 1997},
  pages        = {349--357},
  publisher    = {{ACM/IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/MICRO.1997.645832},
  doi          = {10.1109/MICRO.1997.645832},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micro/CarrG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/McKinleyCT96,
  author       = {Kathryn S. McKinley and
                  Steve Carr and
                  Chau{-}Wen Tseng},
  title        = {Improving Data Locality with Loop Transformations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {18},
  number       = {4},
  pages        = {424--453},
  year         = {1996},
  url          = {https://doi.org/10.1145/233561.233564},
  doi          = {10.1145/233561.233564},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/McKinleyCT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/Carr96,
  author       = {Steve Carr},
  title        = {Combining optimization for cache and instruction-level parallelism},
  booktitle    = {Proceedings of the Fifth International Conference on Parallel Architectures
                  and Compilation Techniques, PACT'96, Boston, MA, USA, October 20-23,
                  1996},
  pages        = {238--247},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/PACT.1996.552672},
  doi          = {10.1109/PACT.1996.552672},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/Carr96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/CarrDS96,
  author       = {Steve Carr and
                  Chen Ding and
                  Philip H. Sweany},
  title        = {Improving Software Pipelining with Unroll-and-Jam},
  booktitle    = {29th Annual Hawaii International Conference on System Sciences (HICSS-29),
                  January 3-6, 1996, Maui, Hawaii, {USA}},
  pages        = {183--192},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/HICSS.1996.495462},
  doi          = {10.1109/HICSS.1996.495462},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/CarrDS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ht/BesserBBDHCRHSD96,
  author       = {Howard Besser and
                  Michael Bieber and
                  Paul De Bra and
                  Frank Dignum and
                  Gary Hill and
                  Les Carr and
                  David De Roure and
                  Wendy Hall and
                  Norbert A. Streitz and
                  Steven J. DeRoss},
  editor       = {David Stotts},
  title        = {World-Wide Web Authoring and Collaboration},
  booktitle    = {Hypertext '96, The Seventh {ACM} Conference on Hypertext, Washington,
                  DC, USA, March 16-20, 1996},
  pages        = {262},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/234828.234859},
  doi          = {10.1145/234828.234859},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ht/BesserBBDHCRHSD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/SugarT95,
  author       = {Gary L. Sugar and
                  Steven A. Tretter},
  title        = {Convergence properties of optimal adaptive carrier phase jitter predictors
                  for sinusoidal jitter},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {43},
  number       = {2/3/4},
  pages        = {225--228},
  year         = {1995},
  url          = {https://doi.org/10.1109/26.380040},
  doi          = {10.1109/26.380040},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/SugarT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/BrasierSBC95,
  author       = {Thomas S. Brasier and
                  Philip H. Sweany and
                  Steven J. Beaty and
                  Steve Carr},
  editor       = {Lubomir Bic and
                  Paraskevas Evripidou and
                  A. P. Wim B{\"{o}}hm and
                  Jean{-}Luc Gaudiot},
  title        = {{CRAIG:} a practical framework for combining instruction scheduling
                  and register assignment},
  booktitle    = {Proceedings of the {IFIP} {WG10.3} working conference on Parallel
                  architectures and compilation techniques, {PACT} '95, Limassol, Cyprus,
                  June 27-29, 1995},
  pages        = {11--18},
  publisher    = {{IFIP} Working Group on Algol / {ACM}},
  year         = {1995},
  url          = {http://dl.acm.org/citation.cfm?id=224671},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/BrasierSBC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsc/CarrL95,
  author       = {Steve Carr and
                  Richard B. Lehoucq},
  editor       = {David H. Bailey and
                  Petter E. Bj{\o}rstad and
                  John R. Gilbert and
                  Michael Mascagni and
                  Robert S. Schreiber and
                  Horst D. Simon and
                  Virginia Torczon and
                  Layne T. Watson},
  title        = {A Compiler-Blockable Algorithm for {QR} Decomposition},
  booktitle    = {Proceedings of the Seventh {SIAM} Conference on Parallel Processing
                  for Scientific Computing, {PP} 1995, San Francisco, California, USA,
                  February 15-17, 1995},
  pages        = {686--691},
  publisher    = {{SIAM}},
  year         = {1995},
  timestamp    = {Wed, 03 Jul 2024 11:15:21 +0200},
  biburl       = {https://dblp.org/rec/conf/ppsc/CarrL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wift/HamiltonCKKTFSMSCM95,
  author       = {David Hamilton and
                  Richard Covington and
                  John Kelly and
                  Carron Kirkwood and
                  Muffy Thomas and
                  Alan R. Flora{-}Holmquist and
                  Mark G. Staskauskas and
                  Steven P. Miller and
                  Mandayam K. Srivas and
                  George Cleland and
                  Donald MacKenzie},
  title        = {Experiences in applying formal methods to the analysis of software
                  and system requirements},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {30--43},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515477},
  doi          = {10.1109/WIFT.1995.515477},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/HamiltonCKKTFSMSCM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CarrK94,
  author       = {Steve Carr and
                  Ken Kennedy},
  title        = {Scalar Replacement in the Presence of Conditional Control Flow},
  journal      = {Softw. Pract. Exp.},
  volume       = {24},
  number       = {1},
  pages        = {51--77},
  year         = {1994},
  url          = {https://doi.org/10.1002/spe.4380240104},
  doi          = {10.1002/SPE.4380240104},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spe/CarrK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CarrK94,
  author       = {Steve Carr and
                  Ken Kennedy},
  title        = {Improving the Ratio of Memory Operations to Floating-Point Operations
                  in Loops},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {16},
  number       = {6},
  pages        = {1768--1810},
  year         = {1994},
  url          = {https://doi.org/10.1145/197320.197366},
  doi          = {10.1145/197320.197366},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/CarrK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CarrMT94,
  author       = {Steve Carr and
                  Kathryn S. McKinley and
                  Chau{-}Wen Tseng},
  editor       = {Forest Baskett and
                  Douglas W. Clark},
  title        = {Compiler Optimizations for Improving Data Locality},
  booktitle    = {{ASPLOS-VI} Proceedings - Sixth International Conference on Architectural
                  Support for Programming Languages and Operating Systems, San Jose,
                  California, USA, October 4-7, 1994},
  pages        = {252--262},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/195473.195557},
  doi          = {10.1145/195473.195557},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/CarrMT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/RooneyVHCL93,
  author       = {Edmund Rooney and
                  Rebecca Vaughan and
                  Steven M. Hiller and
                  Fabrizio Carraro and
                  John Laver},
  title        = {Training vowel pronunciation using a computer-aided teaching system},
  booktitle    = {Third European Conference on Speech Communication and Technology,
                  {EUROSPEECH} 1993, Berlin, Germany, September 22-25, 1993},
  pages        = {1347--1350},
  publisher    = {{ISCA}},
  year         = {1993},
  url          = {https://doi.org/10.21437/Eurospeech.1993-315},
  doi          = {10.21437/EUROSPEECH.1993-315},
  timestamp    = {Sat, 01 Jul 2023 23:51:24 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/RooneyVHCL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/BenedettoCHR92,
  author       = {Maria{-}Gabriella Di Benedetto and
                  Fabrizio Carraro and
                  Steven M. Hiller and
                  Edmund Rooney},
  title        = {Vowels pronunciation assessment in the spell system},
  booktitle    = {The Second International Conference on Spoken Language Processing,
                  {ICSLP} 1992, Banff, Alberta, Canada, October 13-16, 1992},
  pages        = {417--420},
  publisher    = {{ISCA}},
  year         = {1992},
  url          = {https://doi.org/10.21437/ICSLP.1992-113},
  doi          = {10.21437/ICSLP.1992-113},
  timestamp    = {Wed, 21 Jun 2023 17:18:06 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/BenedettoCHR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/CarrK92,
  author       = {Steve Carr and
                  Ken Kennedy},
  editor       = {Robert Werner},
  title        = {Compiler Blockability of Numerical Algorithms},
  booktitle    = {Proceedings Supercomputing '92, Minneapolis, MN, USA, November 16-20,
                  1992},
  pages        = {114--124},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SUPERC.1992.236704},
  doi          = {10.1109/SUPERC.1992.236704},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/CarrK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CallahanCK90,
  author       = {David Callahan and
                  Steve Carr and
                  Ken Kennedy},
  editor       = {Bernard N. Fischer},
  title        = {Improving Register Allocation for Subscripted Variables},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'90 Conference on Programming Language
                  Design and Implementation (PLDI), White Plains, New York, USA, June
                  20-22, 1990},
  pages        = {53--65},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/93542.93553},
  doi          = {10.1145/93542.93553},
  timestamp    = {Thu, 12 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/CallahanCK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CallahanCK90a,
  author       = {David Callahan and
                  Steve Carr and
                  Ken Kennedy},
  editor       = {Kathryn S. McKinley},
  title        = {Improving register allocation for subscripted variables (with retrospective)},
  booktitle    = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
                  Design and Implementation 1979-1999, {A} Selection},
  pages        = {328--342},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/989393.989428},
  doi          = {10.1145/989393.989428},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/CallahanCK90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsc/CarrK89,
  author       = {Steve Carr and
                  Ken Kennedy},
  editor       = {Jack J. Dongarra and
                  Paul Messina and
                  Danny C. Sorensen and
                  Robert G. Voigt},
  title        = {Blocking Linear Algebra Codes for Memory Hierarchies},
  booktitle    = {Proceedings of the Fourth {SIAM} Conference on Parallel Processing
                  for Scientific Computing, Chicago, Illinois, USA, December 11-13,
                  1989},
  pages        = {400--405},
  publisher    = {{SIAM}},
  year         = {1989},
  timestamp    = {Wed, 03 Jul 2024 11:12:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ppsc/CarrK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/LloydP88,
  author       = {Joyce A. Lloyd and
                  S. Steven Potter},
  title        = {Distinct subfamilies of primate L1Gg retroposons, with some elements
                  carrying tandem repeats in the 5' region},
  journal      = {Nucleic Acids Res.},
  volume       = {16},
  number       = {13},
  pages        = {6147--6156},
  year         = {1988},
  url          = {https://doi.org/10.1093/nar/16.13.6147},
  doi          = {10.1093/NAR/16.13.6147},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nar/LloydP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/SchwartzJHWCHPR85,
  author       = {Tom J. Schwartz and
                  James Johnson and
                  Steven Hardy and
                  M. Mitchell Waldrop and
                  Stan Curtis and
                  Carroll Ray Hall and
                  Edward C. Patterman and
                  Kenneth Ross and
                  Wanda Rappaport and
                  Aaron Goldberg and
                  Henry Seiler},
  editor       = {Bill Healy and
                  Judith D. Schlesinger},
  title        = {Artificial intelligence in the personal computer environment, today
                  and tommorrow (Panel)},
  booktitle    = {Proceedings of the 1985 {ACM} annual conference on The range of computing:
                  mid-80's perspective: mid-80's perspective, Denver, Colorado, USA,
                  October 14-16, 1985},
  pages        = {484--491},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/320435.320573},
  doi          = {10.1145/320435.320573},
  timestamp    = {Wed, 14 Apr 2021 11:40:49 +0200},
  biburl       = {https://dblp.org/rec/conf/acm/SchwartzJHWCHPR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/McRoyMTS84,
  author       = {Steven A. McRoy and
                  James H. Miller and
                  James B. Truesdale and
                  Robert W. Van Slooten},
  title        = {The {SLC} 96 subscriber loop carrier system: Integration with the
                  5ESS switching system},
  journal      = {AT{\&}T Bell Lab. Tech. J.},
  volume       = {63},
  number       = {10},
  pages        = {2417--2437},
  year         = {1984},
  url          = {https://doi.org/10.1002/j.1538-7305.1984.tb00083.x},
  doi          = {10.1002/J.1538-7305.1984.TB00083.X},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bstj/McRoyMTS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/EavesW79,
  author       = {Reuben E. Eaves and
                  Steven M. Wheatley},
  title        = {Optimization of Quadrature-Carrier Modulation for Low Crosstalk and
                  Close Packing of Users},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {27},
  number       = {1},
  pages        = {176--185},
  year         = {1979},
  url          = {https://doi.org/10.1109/TCOM.1979.1094261},
  doi          = {10.1109/TCOM.1979.1094261},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/EavesW79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}