default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Alan Jeffrey"
download as .bib file
@article{DBLP:journals/aim/DMelloBBBCCFFGHKKLMPPPPPRSTWW24,
author = {Sidney K. D'Mello and
Quentin Biddy and
Thomas Breideband and
Jeffrey B. Bush and
Michael Alan Chang and
Arturo Cortez and
Jeffrey Flanigan and
Peter W. Foltz and
Jamie C. Gorman and
Leanne M. Hirshfield and
Monlin Monica Ko and
Nikhil Krishnaswamy and
Rachel Lieber and
James H. Martin and
Martha Palmer and
William R. Penuel and
Thomas M. Philip and
Sadhana Puntambekar and
James Pustejovsky and
Jason G. Reitman and
Tamara Sumner and
Michael Tissenbaum and
Lyn Walker and
Jacob Whitehill},
title = {From learning optimization to learner flourishing: Reimagining {AI}
in Education at the Institute for Student-AI Teaming (iSAT)},
journal = {{AI} Mag.},
volume = {45},
number = {1},
pages = {61--68},
year = {2024}
}
@article{DBLP:journals/ce/KuhlmannPEBGHBGP24,
author = {Shelbi L. Kuhlmann and
Robert Plumley and
Zoe Evans and
Matthew L. Bernacki and
Jeffrey Alan Greene and
Kelly A. Hogan and
Michael Berro and
Kathleen M. Gates and
Abigail Panter},
title = {Students' active cognitive engagement with instructional videos predicts
{STEM} learning},
journal = {Comput. Educ.},
volume = {216},
pages = {105050},
year = {2024}
}
@article{DBLP:journals/dss/HevnerPBLTTB24,
author = {Alan R. Hevner and
Jeffrey Parsons and
Alfred Benedikt Brendel and
Roman Lukyanenko and
Verena Tiefenbeck and
Monica Chiarini Tremblay and
Jan vom Brocke},
title = {Transparency in design science research},
journal = {Decis. Support Syst.},
volume = {182},
pages = {114236},
year = {2024}
}
@article{DBLP:journals/programming/GreenmanJKS24,
author = {Ben Greenman and
Alan Jeffrey and
Shriram Krishnamurthi and
Mitesh Shah},
title = {Privacy-Respecting Type Error Telemetry at Scale},
journal = {Art Sci. Eng. Program.},
volume = {8},
number = {3},
year = {2024}
}
@article{DBLP:journals/siamads/SaadiCJ24,
author = {Fahad Al Saadi and
Alan R. Champneys and
Mike R. Jeffrey},
title = {Wave-Pinned Patterns for Cell Polarity - {A} Catastrophe Theory Explanation},
journal = {{SIAM} J. Appl. Dyn. Syst.},
volume = {23},
number = {1},
pages = {721--747},
year = {2024}
}
@inproceedings{DBLP:conf/naacl/0001SLBB024,
author = {Jason Wu and
Eldon Schoop and
Alan Leung and
Titus Barik and
Jeffrey P. Bigham and
Jeffrey Nichols},
title = {UICoder: Finetuning Large Language Models to Generate User Interface
Code through Automated Feedback},
booktitle = {{NAACL-HLT}},
pages = {7511--7525},
publisher = {Association for Computational Linguistics},
year = {2024}
}
@inproceedings{DBLP:conf/xsede/ChalkerDHJMORRW24,
author = {Alan Chalker and
Robert L. DeLeon and
D{\'{a}}vid Hud{\'{a}}k and
Douglas Johnson and
Julie Ma and
Jeff Ohrstrom and
Hazel Randquist and
Travis Ravert and
Joseph Patrick White and
Matt Walton and
Emily Moffat Sadeghi and
Ronald Lee Liming},
title = {Open OnDemand: Connecting Computing Power With Powerful Minds},
booktitle = {{PEARC}},
pages = {16:1--16:8},
publisher = {{ACM}},
year = {2024}
}
@article{DBLP:journals/corr/abs-2403-02409,
author = {Ben Greenman and
Alan Jeffrey and
Shriram Krishnamurthi and
Mitesh Shah},
title = {Privacy-Respecting Type Error Telemetry at Scale},
journal = {CoRR},
volume = {abs/2403.02409},
year = {2024}
}
@article{DBLP:journals/corr/abs-2404-07387,
author = {Ruijia Cheng and
Titus Barik and
Alan Leung and
Fred Hohman and
Jeffrey Nichols},
title = {{BISCUIT:} Scaffolding LLM-Generated Code with Ephemeral UIs in Computational
Notebooks},
journal = {CoRR},
volume = {abs/2404.07387},
year = {2024}
}
@article{DBLP:journals/corr/abs-2404-18416,
author = {Khaled Saab and
Tao Tu and
Wei{-}Hung Weng and
Ryutaro Tanno and
David Stutz and
Ellery Wulczyn and
Fan Zhang and
Tim Strother and
Chunjong Park and
Elahe Vedadi and
Juanma Zambrano Chaves and
Szu{-}Yeu Hu and
Mike Schaekermann and
Aishwarya Kamath and
Yong Cheng and
David G. T. Barrett and
Cathy Cheung and
Basil Mustafa and
Anil Palepu and
Daniel McDuff and
Le Hou and
Tomer Golany and
Luyang Liu and
Jean{-}Baptiste Alayrac and
Neil Houlsby and
Nenad Tomasev and
Jan Freyberg and
Charles Lau and
Jonas Kemp and
Jeremy Lai and
Shekoofeh Azizi and
Kimberly Kanada and
SiWai Man and
Kavita Kulkarni and
Ruoxi Sun and
Siamak Shakeri and
Luheng He and
Benjamin Caine and
Albert Webson and
Natasha Latysheva and
Melvin Johnson and
Philip Andrew Mansfield and
Jian Lu and
Ehud Rivlin and
Jesper Anderson and
Bradley Green and
Renee Wong and
Jonathan Krause and
Jonathon Shlens and
Ewa Dominowska and
S. M. Ali Eslami and
Katherine Chou and
Claire Cui and
Oriol Vinyals and
Koray Kavukcuoglu and
James Manyika and
Jeff Dean and
Demis Hassabis and
Yossi Matias and
Dale R. Webster and
Joelle K. Barral and
Greg Corrado and
Christopher Semturs and
S. Sara Mahdavi and
Juraj Gottweis and
Alan Karthikesalingam and
Vivek Natarajan},
title = {Capabilities of Gemini Models in Medicine},
journal = {CoRR},
volume = {abs/2404.18416},
year = {2024}
}
@article{DBLP:journals/corr/abs-2405-18327,
author = {Jay Jasti and
Hua Zhong and
Vandana Panwar and
Vipul Jarmale and
Jeffrey Miyata and
Deyssy Carrillo and
Alana Christie and
Dinesh Rakheja and
Zora Modrusan and
Edward Ernest Kadel III and
Niha Beig and
Mahrukh Huseni and
James Brugarolas and
Payal Kapur and
Satwik Rajaram},
title = {Histopathology Based {AI} Model Predicts Anti-Angiogenic Therapy Response
in Renal Cancer Clinical Trial},
journal = {CoRR},
volume = {abs/2405.18327},
year = {2024}
}
@article{DBLP:journals/corr/abs-2406-02877,
author = {Jeffrey Ma and
Alan Tu and
Yiling Chen and
Vijay Janapa Reddi},
title = {FedStaleWeight: Buffered Asynchronous Federated Learning with Fair
Aggregation via Staleness Reweighting},
journal = {CoRR},
volume = {abs/2406.02877},
year = {2024}
}
@article{DBLP:journals/corr/abs-2406-07739,
author = {Jason Wu and
Eldon Schoop and
Alan Leung and
Titus Barik and
Jeffrey P. Bigham and
Jeffrey Nichols},
title = {UICoder: Finetuning Large Language Models to Generate User Interface
Code through Automated Feedback},
journal = {CoRR},
volume = {abs/2406.07739},
year = {2024}
}
@article{DBLP:journals/corr/abs-2407-14981,
author = {Anka Reuel and
Ben Bucknall and
Stephen Casper and
Tim Fist and
Lisa Soder and
Onni Aarne and
Lewis Hammond and
Lujain Ibrahim and
Alan Chan and
Peter Wills and
Markus Anderljung and
Ben Garfinkel and
Lennart Heim and
Andrew Trask and
Gabriel Mukobi and
Rylan Schaeffer and
Mauricio Baker and
Sara Hooker and
Irene Solaiman and
Alexandra Sasha Luccioni and
Nitarshan Rajkumar and
Nicolas Mo{\"{e}}s and
Jeffrey Ladish and
Neel Guha and
Jessica Newman and
Yoshua Bengio and
Tobin South and
Alex Pentland and
Sanmi Koyejo and
Mykel J. Kochenderfer and
Robert Trager},
title = {Open Problems in Technical {AI} Governance},
journal = {CoRR},
volume = {abs/2407.14981},
year = {2024}
}
@article{DBLP:journals/bjet/HilpertGB23,
author = {Jonathan C. Hilpert and
Jeffrey Alan Greene and
Matthew L. Bernacki},
title = {Leveraging complexity frameworks to refine theories of engagement:
Advancing self-regulated learning in the age of artificial intelligence},
journal = {Br. J. Educ. Technol.},
volume = {54},
number = {5},
pages = {1204--1221},
year = {2023}
}
@article{DBLP:journals/bmcbi/PaulinRHRHS23,
author = {Luis F. Paulin and
Muthuswamy Raveendran and
R. Alan Harris and
Jeffrey Rogers and
Arndt von Haeseler and
Fritz J. Sedlazeck},
title = {SVhound: detection of regions that harbor yet undetected structural
variation},
journal = {{BMC} Bioinform.},
volume = {24},
number = {1},
pages = {23},
year = {2023}
}
@article{DBLP:journals/midm/KlineRFABMGBWPC23,
author = {Jeffrey A. Kline and
Brian Reed and
Alex Frost and
Naomi Alanis and
Meylakh Barshay and
Andrew Melzer and
James Galbraith and
Alicia Budd and
Amber Winn and
Eugene Pun and
Carlos A. Camargo},
title = {Database derived from an electronic medical record-based surveillance
network of {US} emergency department patients with acute respiratory
illness},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {23},
number = {1},
pages = {224},
year = {2023}
}
@article{DBLP:journals/nar/TerlouwBNACELMRRSMTZAAAAAAABBBBBBCC23,
author = {Barbara R. Terlouw and
Kai Blin and
Jorge C. Navarro{-}Mu{\~{n}}oz and
Nicole E. Avalon and
Marc G. Chevrette and
Susan Egbert and
Sanghoon Lee and
David Meijer and
Michael J. Recchia and
Zachary L. Reitz and
Jeffrey A. van Santen and
Nelly Selem Mojica and
Thomas T{\o}rring and
Liana Zaroubi and
Mohammad Alanjary and
Gajender Aleti and
C{\'{e}}sar Aguilar and
Suhad A. Al{-}Salihi and
Hannah E. Augustijn and
J. Abraham Avelar{-}Rivas and
Luis A. Avitia{-}Dom{\'{\i}}nguez and
Francisco Barona{-}G{\'{o}}mez and
Jordan Bernaldo{-}Ag{\"{u}}ero and
Vincent A. Bielinski and
Friederike Biermann and
Thomas J. Booth and
J. Carrion Bravo and
Raquel Castelo{-}Branco and
Fernanda O. Chagas and
Pablo Cruz{-}Morales and
Chao Du and
Katherine R. Duncan and
Athina Gavriilidou and
Damien Gayrard and
Karina Guti{\'{e}}rrez{-}Garc{\'{\i}}a and
Kristina Haslinger and
Eric J. N. Helfrich and
Justin J. J. van der Hooft and
Afif P. Jati and
Edward Kalkreuter and
Nikolaos Kalyvas and
Kyo Bin Kang and
Satria A. Kautsar and
Wonyong Kim and
Aditya M. Kunjapur and
Yong{-}Xin Li and
Geng{-}Min Lin and
Catarina Loureiro and
Joris J. R. Louwen and
Nico l L. Louwen and
George Lund and
Jonathan Parra and
Benjamin Philmus and
Bita Pourmohsenin and
Lotte U. Pronk and
Adriana Rego and
Devasahayam Arokia Balaya Rex and
Serina L. Robinson and
L. Rodrigo Rosas{-}Becerra and
Eve T. Roxborough and
Michelle A. Schorn and
Darren J. Scobie and
Kumar Saurabh Singh and
Nika Sokolova and
Xiaoyu Tang and
Daniel W. Udwary and
Aruna Vigneshwari and
Kristiina Vind and
Sophie P. J. M. Vromans and
Valentin Waschulin and
Sam E. Williams and
Jaclyn M. Winter and
Thomas E. Witte and
Huali Xie and
Dong Yang and
Jingwei Yu and
Mitja Zdouc and
Zheng Zhong and
J{\'{e}}r{\^{o}}me Collemare and
Roger G. Linington and
Tilmann Weber and
Marnix H. Medema},
title = {MIBiG 3.0: a community-driven effort to annotate experimentally validated
biosynthetic gene clusters},
journal = {Nucleic Acids Res.},
volume = {51},
number = {{D1}},
pages = {603--610},
year = {2023}
}
@article{DBLP:journals/neuroimage/ZhuKRHSZLLAAABBBBBBCCCCDDDDD23,
author = {Xi Zhu and
Yoojean Kim and
Orren Ravid and
Xiaofu He and
Benjamin Suarez{-}Jimenez and
Sigal Zilcha{-}Mano and
Amit Lazarov and
Seonjoo Lee and
Chadi G. Abdallah and
Michael Angstadt and
Christopher L. Averill and
C. Lexi Baird and
Lee Baugh and
Jennifer Urbano Blackford and
Jessica Bomyea and
Steven E. Bruce and
Richard A. Bryant and
Zhihong Cao and
Kyle Choi and
Josh M. Cisler and
Andrew S. Cotton and
Judith K. Daniels and
Nicholas D. Davenport and
Richard J. Davidson and
Michael D. De Bellis and
Emily L. Dennis and
Maria Densmore and
Terri A. deRoon{-}Cassini and
Seth G. Disner and
Wissam El{-}Hage and
Amit Etkin and
Negar Fani and
Kelene A. Fercho and
Jacklynn M. Fitzgerald and
Gina L. Forster and
Jessie L. Frijling and
Elbert Geuze and
Atilla Gonenc and
Evan M. Gordon and
Staci Gruber and
Daniel W. Grupe and
Jeffrey P. Guenette and
Courtney C. Haswell and
Ryan J. Herringa and
Julia Herzog and
David Bernd Hofmann and
Bobak Hosseini and
Anna R. Hudson and
Ashley A. Huggins and
Jonathan C. Ipser and
Neda Jahanshad and
Meilin Jia{-}Richards and
Tanja Jovanovic and
Milissa L. Kaufman and
Mitzy Kennis and
Anthony King and
Philipp Kinzel and
Saskia B. J. Koch and
Inga Koerte and
Sheri{-}Michelle Koopowitz and
Mayuresh S. Korgaonkar and
John H. Krystal and
Ruth A. Lanius and
Christine L. Larson and
Lauren A. M. Lebois and
Gen Li and
Israel Liberzon and
Guang Ming Lu and
Yifeng Luo and
Vincent A. Magnotta and
Antje Manthey and
Adi Maron{-}Katz and
Geoffery May and
Katie A. McLaughlin and
Sven C. Mueller and
Laura Nawijn and
Steven M. Nelson and
Richard W. J. Neufeld and
Jack B. Nitschke and
Erin O'Leary and
Bunmi O. Olatunji and
Miranda Olff and
Matthew Peverill and
K. Luan Phan and
Rongfeng Qi and
Yann Quid{\'{e}} and
Ivan Rektor and
Kerry J. Ressler and
Pavel Riha and
Marisa Ross and
Isabelle M. Rosso and
Lauren E. Salminen and
Kelly A. Sambrook and
Christian Schmahl and
Martha Elizabeth Shenton and
Margaret A. Sheridan and
Chiahao Shih and
Maurizio Sicorello and
Anika Sierk and
Alan N. Simmons and
Raluca M. Simons and
Jeffrey S. Simons and
Scott R. Sponheim and
Murray B. Stein and
Dan J. Stein and
Jennifer S. Stevens and
Thomas Straube and
Delin Sun and
Jean Th{\'{e}}berge and
Paul M. Thompson and
Sophia I. Thomopoulos and
Nic J. A. van der Wee and
Steven J. A. van der Werff and
Theo G. M. van Erp and
Sanne J. H. van Rooij and
Mirjam van Zuiden and
Tim Varkevisser and
Dick J. Veltman and
Robert R. J. M. Vermeiren and
Henrik Walter and
Li Wang and
Xin Wang and
Carissa N. Weis and
Sherry Winternitz and
Hong Xie and
Ye Zhu and
Melanie Wall and
Yuval Neria and
Rajendra A. Morey},
title = {Neuroimaging-based classification of {PTSD} using data-driven computational
approaches: {A} multisite big data study from the {ENIGMA-PGC} {PTSD}
consortium},
journal = {NeuroImage},
volume = {283},
pages = {120412},
year = {2023}
}
@inproceedings{DBLP:conf/aied/GaneshCDRCWPMFP23,
author = {Ananya Ganesh and
Michael Alan Chang and
Rachel Dickler and
Michael Regan and
Jon Z. Cai and
Kristin Wright{-}Bettner and
James Pustejovsky and
James H. Martin and
Jeffrey Flanigan and
Martha Palmer and
Katharina Kann},
title = {Navigating Wanderland: Highlighting Off-Task Discussions in Classrooms},
booktitle = {{AIED}},
series = {Lecture Notes in Computer Science},
volume = {13916},
pages = {727--732},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/cscw/BreidebandBCCDF23,
author = {Thomas Breideband and
Jeffrey B. Bush and
Chelsea Chandler and
Michael Alan Chang and
Rachel Dickler and
Peter W. Foltz and
Ananya Ganesh and
Rachel Lieber and
William R. Penuel and
Jason G. Reitman and
John Weatherley and
Sidney D'Mello},
title = {The Community Builder (CoBi): Helping Students to Develop Better Small
Group Collaborative Learning Skills},
booktitle = {{CSCW} Companion},
pages = {376--380},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/icassp/TzirakisBBGKOGMBTSKC23,
author = {Panagiotis Tzirakis and
Alice Baird and
Jeffrey A. Brooks and
Christopher Gagne and
Lauren Kim and
Michael Opara and
Christopher B. Gregory and
Jacob Metrick and
Garrett Boseck and
Vineet Tiruvadi and
Bj{\"{o}}rn W. Schuller and
Dacher Keltner and
Alan Cowen},
title = {Large-Scale Nonverbal Vocalization Detection Using Transformers},
booktitle = {{ICASSP}},
pages = {1--5},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/icmi/BrooksTBTL0OC23,
author = {Jeffrey A. Brooks and
Vineet Tiruvadi and
Alice Baird and
Panagiotis Tzirakis and
Haoqi Li and
Chris Gagne and
Moses Oh and
Alan Cowen},
title = {Emotion Expression Estimates to Measure and Improve Multimodal Social-Affective
Interactions},
booktitle = {{ICMI} Companion},
pages = {353--358},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/sigcse/MenierMBPSXJ23,
author = {Amanda Menier and
Paula Moore and
Deborah Boisvert and
Alan Peterfreund and
Stacey Sexton and
Jeffrey Xavier and
Brianna Johnston},
title = {Intro to {CS} for Educators: {A} Pre-Curricula {PD} Workshop},
booktitle = {{SIGCSE} {(2)}},
pages = {1362},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/xsede/WisniewskiBDHLR23,
author = {Leonard F. Wisniewski and
Aday Bujeda and
Sarah Duncan and
William Horka and
Emily Lawrence and
Michael Reekie and
Evan Sarmiento and
Tania Schlatter and
Alan Chalker and
Jeffrey Ohrstrom},
title = {Augmenting the User Experience in Open OnDemand},
booktitle = {{PEARC}},
pages = {264--268},
publisher = {{ACM}},
year = {2023}
}
@article{DBLP:journals/corr/abs-2303-05307,
author = {Alan Kuhnle and
Jeffrey Richley and
Darleen Perez{-}Lavin},
title = {Learning Strategic Value and Cooperation in Multi-Player Stochastic
Games through Side Payments},
journal = {CoRR},
volume = {abs/2303.05307},
year = {2023}
}
@article{DBLP:journals/corr/abs-2307-01753,
author = {Mehdi Rezaie and
Ashley J. Ross and
Hee{-}Jong Seo and
Hui Kong and
Anna Porredon and
Lado Samushia and
Edmond Chaussidon and
Alex Krolewski and
Arnaud de Mattia and
Florian Beutler and
Jessica Nicole Aguilar and
Steven Ahlen and
Shadab Alam and
Santiago {\'{A}}vila and
Benedict Bahr{-}Kalus and
Jose Bermejo{-}Climent and
David D. Brooks and
Todd Claybaugh and
Shaun Cole and
Kyle Dawson and
Axel de la Macorra and
Peter Doel and
Andreu Font{-}Ribera and
Jaime E. Forero{-}Romero and
Satya Gontcho A Gontcho and
Julien Guy and
Klaus Honscheid and
Theodore Kisner and
Martin Landriau and
Michael Levi and
Marc Manera and
Aaron Meisner and
Ramon Miquel and
Eva{-}Maria Mueller and
Adam Myers and
Jeffrey A. Newman and
Jundan Nie and
Nathalie Palanque{-}Delabrouille and
Will J. Percival and
Claire Poppett and
Graziano Rossi and
Eusebio S{\'{a}}nchez and
Michael S. Schubnell and
Gregory G. Tarl{\'{e}} and
Benjamin Alan Weaver and
Christophe Y{\`{e}}che and
Zhimin Zhou and
Hu Zou},
title = {Local primordial non-Gaussianity from the large-scale clustering of
photometric {DESI} luminous red galaxies},
journal = {CoRR},
volume = {abs/2307.01753},
year = {2023}
}
@article{DBLP:journals/biodb/Crecy-LagardHAB22,
author = {Val{\'{e}}rie de Cr{\'{e}}cy{-}Lagard and
Rocio Amorin de Hegedus and
Cecilia N. Arighi and
Jill Babor and
Alex Bateman and
Ian Blaby and
Crysten Blaby{-}Haas and
Alan J. Bridge and
Stephen K. Burley and
Stacey Cleveland and
Lucy J. Colwell and
Ana Conesa and
Christian Dallago and
Antoine Danchin and
Anita de Waard and
Adam Deutschbauer and
Raquel Dias and
Yousong Ding and
Gang Fang and
Iddo Friedberg and
John Gerlt and
Joshua Goldford and
Mark Gorelik and
Benjamin M. Gyori and
Christopher S. Henry and
Geoffrey Hutinet and
Marshall Jaroch and
Peter D. Karp and
Liudmyla Kondratova and
Zhiyong Lu and
Aron Marchler{-}Bauer and
Maria Jesus Martin and
Claire D. McWhite and
Gaurav D. Moghe and
Paul Monaghan and
Anne Morgat and
Christopher J. Mungall and
Darren A. Natale and
William C. Nelson and
Se{\'{a}}n I. O'Donoghue and
Christine A. Orengo and
Katherine H. O'Toole and
Predrag Radivojac and
Colbie Reed and
Richard J. Roberts and
Dmitri Rodionov and
Irina A. Rodionova and
Jeffrey DePons and
Lana Saleh and
Gloria M. Sheynkman and
Fran{\c{c}}oise Thibaud{-}Nissen and
Paul D. Thomas and
Peter Uetz and
David Vallenet and
Erica Watson Carter and
Peter Weigele and
Valerie Wood and
Elisha M. Wood{-}Charlson and
Jin Xu},
title = {A roadmap for the functional annotation of protein families: a community
perspective},
journal = {Database J. Biol. Databases Curation},
volume = {2022},
number = {2022},
year = {2022}
}
@article{DBLP:journals/ce/GreeneDFDC22,
author = {Jeffrey Alan Greene and
Rebekah F. Duke and
Rebekah Freed and
Dalila Dragnic{-}Cindric and
Brian M. Cartiff},
title = {Effects of an ego-depletion intervention upon online learning},
journal = {Comput. Educ.},
volume = {177},
pages = {104362},
year = {2022}
}
@article{DBLP:journals/ncs/RamamoorthySGSB22,
author = {Divya Ramamoorthy and
Kristen Severson and
Soumya Ghosh and
Karen Sachs and
Emily G. Baxi and
Alyssa N. Coyne and
Elizabeth Mosmiller and
Lindsey Hayes and
Aianna Cerezo and
Omar Ahmad and
Promit Roy and
Steven Zeiler and
John W. Krakauer and
Jonathan Li and
Aneesh Donde and
Nhan Huynh and
Miriam Adam and
Brook T. Wassie and
Alexander LeNail and
Natasha Leanna Patel{-}Murray and
Yogindra Raghav and
Velina Kozareva and
Stanislav Tsitkov and
Tobias Ehrenberger and
Julia A. Kaye and
Leandro Lima and
Stacia K. Wyman and
Edward Vertudes and
Naufa Amirani and
Krishna Raja and
Reuben Thomas and
Ryan G. Lim and
Ricardo Miramontes and
Jie Wu and
Vineet Vaibhav and
Andrea Matlock and
Vidya Venkatraman and
Ronald Holewenski and
Niveda Sundararaman and
Rakhi Pandey and
Danica{-}Mae Manalo and
Aaron Frank and
Loren Ornelas and
Lindsey Panther and
Emilda Gomez and
Erick Galvez and
Daniel P{\'{e}}rez and
Imara Meepe and
Susan Lei and
Louis Pinedo and
Chunyan Liu and
Ruby Moran and
Dhruv Sareen and
Barry Landin and
Carla Agurto and
Guillermo A. Cecchi and
Raquel Norel and
Sara Thrower and
Sarah Luppino and
Alanna Farrar and
Lindsay Pothier and
Hong Yu and
Ervin Sinani and
Prasha Vigneswaran and
Alexander V. Sherman and
S. Michelle Farr and
Berhan Mandefro and
Hannah Trost and
Maria G. Banuelos and
Veronica Garcia and
Michael Workman and
Richie Ho and
Robert Baloh and
Jennifer Roggenbuck and
Matthew B. Harms and
Carolyn Prina and
Sarah Heintzman and
Stephen Kolb and
Jennifer Stocksdale and
Keona Wang and
Todd Morgan and
Daragh Heitzman and
Arish Jamil and
Jennifer Jockel{-}Balsarotti and
Elizabeth Karanja and
Jesse Markway and
Molly McCallum and
Tim Miller and
Ben Joslin and
Deniz Alibazoglu and
Senda Ajroud{-}Driss and
Jay C. Beavers and
Mary Bellard and
Elizabeth Bruce and
Nicholas J. Maragakis and
Merit E. Cudkowicz and
James D. Berry and
Terri Thompson and
Steven Finkbeiner and
Leslie M. Thompson and
Jennifer E. Van Eyk and
Clive N. Svendsen and
Jeffrey D. Rothstein and
Jonathan D. Glass and
Christina N. Fournier and
Alexander Sherman and
Christian Lunetta and
David Walk and
Ghazala Hayat and
James Wymer and
Kelly Gwathmey and
Nicholas Olney and
Terry Heiman{-}Patterson and
Ximena Arcila{-}Londono and
Kenneth Faulconer and
Ervin Sanani and
Alex Berger and
Julia Mirochnick and
Todd M. Herrington and
Kenney Ng and
Ernest Fraenkel},
title = {Identifying patterns in amyotrophic lateral sclerosis progression
from sparse longitudinal data},
journal = {Nat. Comput. Sci.},
volume = {2},
number = {9},
pages = {605--616},
year = {2022}
}
@article{DBLP:journals/ni/PolineKSAEFGHTP22,
author = {Jean{-}Baptiste Poline and
David N. Kennedy and
Friedrich T. Sommer and
Giorgio A. Ascoli and
David C. Van Essen and
Adam R. Ferguson and
Jeffrey S. Grethe and
Michael Hawrylycz and
Paul M. Thompson and
Russell A. Poldrack and
Satrajit S. Ghosh and
David B. Keator and
Thomas L. Athey and
Joshua T. Vogelstein and
Helen S. Mayberg and
Maryann E. Martone},
title = {Is Neuroscience FAIR? {A} Call for Collaborative Standardisation of
Neuroscience Data},
journal = {Neuroinformatics},
volume = {20},
number = {2},
pages = {507--512},
year = {2022}
}
@article{DBLP:journals/pacmpl/JeffreyRBCKP22,
author = {Alan Jeffrey and
James Riely and
Mark Batty and
Simon Cooksey and
Ilya Kaysin and
Anton Podkopaev},
title = {The leaky semicolon: compositional semantic dependencies for relaxed-memory
concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022}
}
@article{DBLP:journals/symmetry/AbbasNNAEA22,
author = {Shajar Abbas and
Mudassar Nazar and
Zaib Un Nisa and
Muhammad Amjad and
Sayed M. Eldin and
Agaeb Mahal Alanzi},
title = {Heat and Mass Transfer Analysis of {MHD} Jeffrey Fluid over a Vertical
Plate with {CPC} Fractional Derivative},
journal = {Symmetry},
volume = {14},
number = {12},
pages = {2491},
year = {2022}
}
@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}
}
@inproceedings{DBLP:conf/acii/BairdTBGSBKC22,
author = {Alice Baird and
Panagiotis Tzirakis and
Jeffrey A. Brooks and
Christopher B. Gregory and
Bj{\"{o}}rn W. Schuller and
Anton Batliner and
Dacher Keltner and
Alan Cowen},
title = {The {ACII} 2022 Affective Vocal Bursts Workshop {\&} Competition},
booktitle = {{ACIIW}},
pages = {1--5},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/hicss/KimVJKD22,
author = {David Kim and
Joseph S. Valacich and
Jeffrey L. Jenkins and
Manasvi Kumar and
Alan R. Dennis},
title = {Thinking Fast or slow? Understanding Answering Behavior Using Dual-Process
Theory through Mouse Cursor Movements},
booktitle = {{HICSS}},
pages = {1--10},
publisher = {ScholarSpace},
year = {2022}
}
@inproceedings{DBLP:conf/interspeech/BairdTBKOGMBKC22,
author = {Alice Baird and
Panagiotis Tzirakis and
Jeffrey A. Brooks and
Lauren Kim and
Michael Opara and
Christopher B. Gregory and
Jacob Metrick and
Garrett Boseck and
Dacher Keltner and
Alan Cowen},
title = {State {\&} Trait Measurement from Nonverbal Vocalizations: {A}
Multi-Task Joint Learning Approach},
booktitle = {{INTERSPEECH}},
pages = {2028--2032},
publisher = {{ISCA}},
year = {2022}
}
@article{DBLP:journals/corr/abs-2207-03572,
author = {Alice Baird and
Panagiotis Tzirakis and
Jeffrey A. Brooks and
Christopher B. Gregory and
Bj{\"{o}}rn W. Schuller and
Anton Batliner and
Dacher Keltner and
Alan Cowen},
title = {The {ACII} 2022 Affective Vocal Bursts Workshop {\&} Competition:
Understanding a critically understudied modality of emotional expression},
journal = {CoRR},
volume = {abs/2207.03572},
year = {2022}
}
@article{DBLP:journals/corr/abs-2210-15754,
author = {Alice Baird and
Panagiotis Tzirakis and
Jeffrey A. Brooks and
Christopher B. Gregory and
Bj{\"{o}}rn W. Schuller and
Anton Batliner and
Dacher Keltner and
Alan Cowen},
title = {Proceedings of the {ACII} Affective Vocal Bursts Workshop and Competition
2022 {(A-VB):} Understanding a critically understudied modality of
emotional expression},
journal = {CoRR},
volume = {abs/2210.15754},
year = {2022}
}
@article{DBLP:journals/corr/abs-2211-02740,
author = {Valentin Churavy and
William F. Godoy and
Carsten Bauer and
Hendrik Ranocha and
Michael Schlottke{-}Lakemper and
Ludovic R{\"{a}}ss and
Johannes P. Blaschke and
Mos{\`{e}} Giordano and
Erik Schnetter and
Samuel Omlin and
Jeffrey S. Vetter and
Alan Edelman},
title = {Bridging {HPC} Communities through the Julia Programming Language},
journal = {CoRR},
volume = {abs/2211.02740},
year = {2022}
}
@article{DBLP:journals/ce/LyonsLGWM21,
author = {Kayley M. Lyons and
Nikki G. Lobczowski and
Jeffrey Alan Greene and
Jason Whitley and
Jacqueline E. McLaughlin},
title = {Using a design-based research approach to develop and study a web-based
tool to support collaborative learning},
journal = {Comput. Educ.},
volume = {161},
pages = {104064},
year = {2021}
}
@article{DBLP:journals/cse/SmithNWCM21,
author = {Spencer Smith and
Mojdeh Sayari Nejad and
Alan Wassyng and
Jeffrey C. Carver and
Karla Morris},
title = {Raising the Bar: Assurance Cases for Scientific Software},
journal = {Comput. Sci. Eng.},
volume = {23},
number = {1},
pages = {47--57},
year = {2021}
}
@article{DBLP:journals/nar/CarbonDGUHMBCDH21,
author = {Seth Carbon and
Eric Douglass and
Benjamin M. Good and
Deepak R. Unni and
Nomi L. Harris and
Christopher J. Mungall and
Siddartha Basu and
Rex L. Chisholm and
Robert J. Dodson and
Eric Hartline and
Petra Fey and
Paul D. Thomas and
Laurent{-}Philippe Albou and
Dustin Ebert and
Michael J. Kesling and
Huaiyu Mi and
Anushya Muruganujan and
Xiaosong Huang and
Tremayne Mushayahama and
Sandra A. LaBonte and
Deborah A. Siegele and
Giulia Antonazzo and
Helen Attrill and
Nick H. Brown and
Phani V. Garapati and
Steven J. Marygold and
Vitor Trovisco and
Gilberto dos Santos and
Kathleen Falls and
Christopher J. Tabone and
Pinglei Zhou and
Joshua L. Goodman and
Victor B. Strelets and
Jim Thurmond and
Penelope Garmiri and
Rizwan Ishtiaq and
Milagros Rodr{\'{\i}}guez{-}L{\'{o}}pez and
Marcio Luis Acencio and
Martin Kuiper and
Astrid L{\ae}greid and
Colin Logie and
Ruth C. Lovering and
Barbara Kramarz and
Shirin C. C. Saverimuttu and
Sandra M. Pinheiro and
Heather Gunn and
Renzhi Su and
Katherine E. Thurlow and
Marcus C. Chibucos and
Michelle G. Giglio and
Suvarna Nadendla and
James B. Munro and
Rebecca C. Jackson and
Margaret J. Duesbury and
Noemi del{-}Toro and
Birgit H. M. Meldal and
Kalpana Paneerselvam and
Livia Perfetto and
Pablo Porras and
Sandra E. Orchard and
Anjali Shrivastava and
Hsin{-}Yu Chang and
Robert D. Finn and
Alex L. Mitchell and
Neil D. Rawlings and
Lorna J. Richardson and
Amaia Sangrador{-}Vegas and
Judith A. Blake and
Karen R. Christie and
Mary E. Dolan and
Harold J. Drabkin and
David P. Hill and
Li Ni and
Dmitry M. Sitnikov and
Midori A. Harris and
Stephen G. Oliver and
Kim Rutherford and
Valerie Wood and
Jaqueline Hayles and
J{\"{u}}rg B{\"{a}}hler and
Elizabeth R. Bolton and
Jeffrey DePons and
Melinda R. Dwinell and
G. Thomas Hayman and
Mary L. Kaldunski and
Anne E. Kwitek and
Stanley J. F. Laulederkind and
Cody Plasterer and
Marek Tutaj and
Mahima Vedi and
Shur{-}Jen Wang and
Peter D'Eustachio and
Lisa Matthews and
James P. Balhoff and
Suzi A. Aleksander and
Michael J. Alexander and
J. Michael Cherry and
Stacia R. Engel and
Felix Gondwe and
Kalpana Karra and
Stuart R. Miyasato and
Robert S. Nash and
Matt Simison and
Marek S. Skrzypek and
Shuai Weng and
Edith D. Wong and
Marc Feuermann and
Pascale Gaudet and
Anne Morgat and
Erica Bakker and
Tanya Z. Berardini and
Leonore Reiser and
Shabari Subramaniam and
Eva Huala and
Cecilia N. Arighi and
Andrea H. Auchincloss and
Kristian B. Axelsen and
Ghislaine Argoud{-}Puy and
Alex Bateman and
Marie{-}Claude Blatter and
Emmanuel Boutet and
Emily Bowler and
Lionel Breuza and
Alan J. Bridge and
Ramona Britto and
Hema Bye{-}A{-}Jee and
Cristina Casals{-}Casas and
Elisabeth Coudert and
Paul Denny and
Anne Estreicher and
Maria Livia Famiglietti and
George E. Georghiou and
Arnaud Gos and
Nadine Gruaz{-}Gumowski and
Emma Hatton{-}Ellis and
Chantal Hulo and
Alexandr Ignatchenko and
Florence Jungo and
Kati Laiho and
Philippe Le Mercier and
Damien Lieberherr and
Antonia Lock and
Yvonne Lussi and
Alistair MacDougall and
Michele Magrane and
Maria Jesus Martin and
Patrick Masson and
Darren A. Natale and
Nevila Hyka{-}Nouspikel and
Ivo Pedruzzi and
Lucille Pourcel and
Sylvain Poux and
Sangya Pundir and
Catherine Rivoire and
Elena Speretta and
Shyamala Sundaram and
Nidhi Tyagi and
Kate Warner and
Rossana Zaru and
Cathy H. Wu and
Alexander D. Diehl and
Juancarlos Chan and
Christian A. Grove and
Raymond Y. N. Lee and
Hans{-}Michael M{\"{u}}ller and
Daniela Raciti and
Kimberly Van Auken and
Paul W. Sternberg and
Matthew Berriman and
Michael Paulini and
Kevin L. Howe and
Sibyl Gao and
Adam Wright and
Lincoln Stein and
Douglas G. Howe and
Sabrina Toro and
Monte Westerfield and
Pankaj Jaiswal and
Laurel Cooper and
Justin Elser},
title = {The Gene Ontology resource: enriching a GOld mine},
journal = {Nucleic Acids Res.},
volume = {49},
number = {Database-Issue},
pages = {D325--D334},
year = {2021}
}
@article{DBLP:journals/neuroimage/HuiMZAABBBBBBBB21,
author = {Steve C. N. Hui and
Mark Mikkelsen and
Helge J. Z{\"{o}}llner and
Vishwadeep Ahluwalia and
Sarael Alcauter and
Laima Baltusis and
Deborah A. Barany and
Laura R. Barlow and
Robert Becker and
Jeffrey I. Berman and
Adam Berrington and
Pallab K. Bhattacharyya and
Jakob Udby Blicher and
Wolfgang Bogner and
Mark S. Brown and
Vince D. Calhoun and
Ryan Castillo and
Kim M. Cecil and
Richard A. E. Edden and
Yeo Bi Choi and
Winnie C. W. Chu and
William T. Clarke and
Alexander R. Craven and
Koen Cuypers and
Michael Dacko and
Camilo de la Fuente{-}Sandoval and
Patricia Desmond and
Aleksandra Domagalik and
Julien Dumont and
Niall W. Duncan and
Ulrike Dydak and
Katherine Dyke and
David A. Edmondson and
Gabriele Ende and
Lars Ersland and
C. John Evans and
Alan S. R. Fermin and
Antonio Ferretti and
Ariane Fillmer and
Tao Gong and
Ian Greenhouse and
James T. Grist and
Meng Gu and
Ashley D. Harris and
Katarzyna Hat and
Stefanie Heba and
Eva Heckova and
John P. Hegarty and
Kirstin{-}Friederike Heise and
Shiori Honda and
Aaron Jacobson and
Jacobus F. A. Jansen and
Christopher W. Jenkins and
Stephen J. Johnston and
Christoph Juchem and
Alayar Kangarlu and
Adam B. Kerr and
Karl Landheer and
Thomas Lange and
Phil Lee and
Swati Rane Levendovszky and
Catherine Limperopoulos and
Feng Liu and
William Lloyd and
David J. Lythgoe and
Maro G. Machizawa and
Erin L. MacMillan and
Richard J. Maddock and
Andrei V. Manzhurtsev and
Mar{\'{\i}}a L. Martinez{-}Gudino and
Jack J. Miller and
Heline Mirzakhanian and
Marta Moreno{-}Ortega and
Paul G. Mullins and
Shinichiro Nakajima and
Jamie Near and
Ralph Noeske and
Wibeke Nordh{\o}y and
Georg Oeltzschner and
Raul Osorio{-}Duran and
Mar{\'{\i}}a Concepci{\'{o}}n Garc{\'{\i}}a Otaduy and
Erick H. Pasaye and
Ronald Peeters and
Scott J. Peltier and
Ulrich Pilatus and
Nenad Polomac and
Eric C. Porges and
Subechhya Pradhan and
James Joseph Prisciandaro and
Nicolaas A. Puts and
Caroline D. Rae and
Francisco Reyes{-}Madrigal and
Timothy P. L. Roberts and
Caroline E. Robertson and
Jens T. Rosenberg and
Diana{-}Georgiana Rotaru and
Ruth L. O'Gorman Tuura and
Muhammad G. Saleh and
Kristian Sandberg and
Ryan Sangill and
Keith Schembri and
Anouk Schrantee and
Natalia A. Semenova and
Debra Singel and
Rouslan Sitnikov and
Jolinda Smith and
Yulu Song and
Craig E. L. Stark and
Diederick Stoffers and
Stephan P. Swinnen and
Rongwen Tain and
Costin Tanase and
Sofie Tapper and
Martin Tegenthoff and
Thomas Thiel and
Marc Thioux and
Peter Truong and
Pim van Dijk and
Nolan Vella and
Rishma Vidyasagar and
Andrej Vovk and
Guangbin Wang and
Lars T. Westlye and
Timothy K. Wilbur and
William R. Willoughby and
Martin Wilson and
Hans{-}J{\"{o}}rg Wittsack and
Adam J. Woods and
Yen{-}Chien Wu and
Junqian Xu and
Maria Yanez Lopez and
David Ka Wai Yeung and
Qun Zhao and
Xiaopeng Zhou and
Gasper Zupan},
title = {Frequency drift in {MR} spectroscopy at 3T},
journal = {NeuroImage},
volume = {241},
pages = {118430},
year = {2021}
}
@article{DBLP:journals/ploscb/WellsCDBARTGP21,
author = {Chad R. Wells and
Youfang Cao and
David P. Durham and
Siddappa N. Byrareddy and
Aftab A. Ansari and
Nancy H. Ruddle and
Jeffrey P. Townsend and
Alison P. Galvani and
Alan S. Perelson},
title = {Mechanistic basis of post-treatment control of {SIV} after anti-{\(\alpha\)}4{\(\beta\)}7
antibody therapy},
journal = {PLoS Comput. Biol.},
volume = {17},
number = {6},
year = {2021}
}
@inproceedings{DBLP:conf/embc/ChenWBRDL21,
author = {Yuhan Chen and
Michael D. Wilkins and
Jeffrey Barahona and
Alan J. Rosenbaum and
Michael A. Daniele and
Edgar J. Lobaton},
title = {Toward Automated Analysis of Fetal Phonocardiograms: Comparing Heartbeat
Detection from Fetal Doppler and Digital Stethoscope Signals},
booktitle = {{EMBC}},
pages = {975--979},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/icict/SettlageCOFJH21,
author = {Robert E. Settlage and
Alan Chalker and
Jeff Ohrstrom and
Eric Franz and
Doug Johnson and
David E. Hudak},
title = {Open OnDemand as a Platformfor Virtual Learning in Higher Education},
booktitle = {{ICICT} {(3)}},
series = {Lecture Notes in Networks and Systems},
volume = {216},
pages = {323--331},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/miip/PrietoSRJMPSVSS21,
author = {Juan Carlos Prieto and
Hina Shah and
Alan J. Rosenbaum and
Xiaoning Jiang and
Patrick Musonda and
Joan T. Price and
Elizabeth M. Stringer and
Bellington Vwalika and
David M. Stamilio and
Jeffrey S. A. Stringer},
title = {An automated framework for image classification and segmentation of
fetal ultrasound images for gestational age estimation},
booktitle = {Medical Imaging: Image Processing},
series = {{SPIE} Proceedings},
volume = {11596},
publisher = {{SPIE}},
year = {2021}
}
@inproceedings{DBLP:conf/sigcse/JeonKOPDXFZBRCD21,
author = {Minji Jeon and
Jacob Koressel and
Anne T. Ottenbreit{-}Leftwich and
Alan Peterfreund and
Sarah Dunton and
Jeffrey Xavier and
Carol L. Fletcher and
Rebecca Zarch and
Maureen Biggers and
Debra J. Richardson and
Joshua Childs and
Leigh Ann DeLyser and
John Goodhue},
title = {Document Analysis of {ECEP} Longitudinal Data: {A} Case Study with
Indiana},
booktitle = {{SIGCSE}},
pages = {1314},
publisher = {{ACM}},
year = {2021}
}
@inproceedings{DBLP:conf/uist/ConlenVTH21,
author = {Matthew Conlen and
Megan Vo and
Alan Tan and
Jeffrey Heer},
title = {Idyll Studio: {A} Structured Editor forAuthoring Interactive {\&}
Data-Driven Articles},
booktitle = {{UIST}},
pages = {1--12},
publisher = {{ACM}},
year = {2021}
}
@article{DBLP:journals/corr/abs-2103-05579,
author = {Farah Fahim and
Benjamin Hawks and
Christian Herwig and
James Hirschauer and
Sergo Jindariani and
Nhan Tran and
Luca P. Carloni and
Giuseppe Di Guglielmo and
Philip C. Harris and
Jeffrey D. Krupa and
Dylan S. Rankin and
Manuel Blanco Valentin and
Josiah D. Hester and
Yingyi Luo and
John Mamish and
Seda Ogrenci Memik and
Thea Aarrestad and
Hamza Javed and
Vladimir Loncar and
Maurizio Pierini and
Adrian Alan Pol and
Sioni Summers and
Javier M. Duarte and
Scott Hauck and
Shih{-}Chieh Hsu and
Jennifer Ngadiuba and
Mia Liu and
Duc Hoang and
Edward Kreinar and
Zhenbin Wu},
title = {hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power
Machine Learning Devices},
journal = {CoRR},
volume = {abs/2103.05579},
year = {2021}
}
@article{DBLP:journals/corr/abs-2104-13473,
author = {George Awad and
Asad A. Butt and
Keith Curtis and
Jonathan G. Fiscus and
Afzal Godil and
Yooyoung Lee and
Andrew Delgado and
Jesse Zhang and
Eliot Godard and
Baptiste Chocot and
Lukas L. Diduch and
Jeffrey Liu and
Alan F. Smeaton and
Yvette Graham and
Gareth J. F. Jones and
Wessel Kraaij and
Georges Qu{\'{e}}not},
title = {{TRECVID} 2020: {A} comprehensive campaign for evaluating video retrieval
tasks across multiple application domains},
journal = {CoRR},
volume = {abs/2104.13473},
year = {2021}
}
@article{DBLP:journals/corr/abs-2109-11397,
author = {Lily Brown and
Andy Friesen and
Alan Jeffrey},
title = {Position Paper: Goals of the Luau Type System},
journal = {CoRR},
volume = {abs/2109.11397},
year = {2021}
}
@article{DBLP:journals/nar/KautsarBSNTHSTD20,
author = {Satria A. Kautsar and
Kai Blin and
Simon Shaw and
Jorge C. Navarro{-}Mu{\~{n}}oz and
Barbara R. Terlouw and
Justin J. J. van der Hooft and
Jeffrey A. van Santen and
Vittorio Tracanna and
Hernando G. Suarez Duran and
Vict{\`{o}}ria Pascal Andreu and
Nelly Selem Mojica and
Mohammad Alanjary and
Serina L. Robinson and
George Lund and
Samuel C. Epstein and
Ashley C. Sisto and
Louise K. Charkoudian and
J{\'{e}}r{\^{o}}me Collemare and
Roger G. Linington and
Tilmann Weber and
Marnix H. Medema},
title = {MIBiG 2.0: a repository for biosynthetic gene clusters of known function},
journal = {Nucleic Acids Res.},
volume = {48},
number = {Database-Issue},
pages = {D454--D458},
year = {2020}
}
@article{DBLP:journals/pacmpl/JagadeesanJR20,
author = {Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {Pomsets with preconditions: a simple model of relaxed memory},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {194:1--194:30},
year = {2020}
}
@inproceedings{DBLP:conf/fc/Taylor-JacksonM20,
author = {Jacqui Taylor{-}Jackson and
John McAlaney and
Jeffrey L. Foster and
Abubakar Bello and
Alana Maurushat and
John Dale},
title = {Incorporating Psychology into Cyber Security Education: {A} Pedagogical
Approach},
booktitle = {Financial Cryptography Workshops},
series = {Lecture Notes in Computer Science},
volume = {12063},
pages = {207--217},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/icls/Dragnic-Cindric20,
author = {Dalila Dragnic{-}Cindric and
Jeffrey Alan Greene and
Janice L. Anderson},
title = {The Role of Uncertainty in Social Regulation of Learning},
booktitle = {{ICLS}},
publisher = {International Society of the Learning Sciences},
year = {2020}
}
@inproceedings{DBLP:conf/mwscas/KleineRM20,
author = {Kaleb Kleine and
Jeffrey H. Reed and
Alan J. Michaels},
title = {A 256-point Analog Discrete-Time {FFT}},
booktitle = {{MWSCAS}},
pages = {966--969},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/trecvid/AwadBCFGLDZGCDL20,
author = {George Awad and
Asad A. Butt and
Keith Curtis and
Jonathan G. Fiscus and
Afzal Godil and
Yooyoung Lee and
Andrew Delgado and
Jesse Zhang and
Eliot Godard and
Baptiste Chocot and
Lukas L. Diduch and
Jeffrey Liu and
Alan F. Smeaton and
Yvette Graham and
Gareth J. F. Jones and
Wessel Kraaij and
Georges Qu{\'{e}}not},
title = {{TRECVID} 2020: {A} comprehensive campaign for evaluating video retrieval
tasks across multiple application domains},
booktitle = {{TRECVID}},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2020}
}
@proceedings{DBLP:conf/trecvid/2020,
editor = {George Awad and
Asad A. Butt and
Keith Curtis and
Jonathan G. Fiscus and
Afzal Godil and
Yooyoung Lee and
Andrew Delgado and
Jesse Zhang and
Eliot Godard and
Baptiste Chocot and
Lukas L. Diduch and
Jeffrey Liu and
Alan F. Smeaton and
Yvette Graham and
Gareth J. F. Jones and
Wessel Kraaij and
Georges Qu{\'{e}}not},
title = {2020 {TREC} Video Retrieval Evaluation, {TRECVID} 2020, Gaithersburg,
MD, USA, December 8-11, 2020},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2020}
}
@article{DBLP:journals/access/CookJC19,
author = {Alan M. Cook and
Colin D. Joye and
Jeffrey P. Calame},
title = {W-Band and D-Band Traveling-Wave Tube Circuits Fabricated by 3D Printing},
journal = {{IEEE} Access},
volume = {7},
pages = {72561--72566},
year = {2019}
}
@article{DBLP:journals/bioinformatics/FuLSMMBSR19,
author = {Jack M. Fu and
Elizabeth J. Leslie and
Alan F. Scott and
Jeffrey C. Murray and
Mary L. Marazita and
Terri H. Beaty and
Robert B. Scharpf and
Ingo Ruczinski},
title = {Detection of de novo copy number deletions from targeted sequencing
of trios},
journal = {Bioinform.},
volume = {35},
number = {4},
pages = {571--578},
year = {2019}
}
@article{DBLP:journals/dm/Agnew-SvobodaHM19,
author = {Will Agnew{-}Svoboda and
Alana Huszar and
Erin McNicholas and
Jeffrey Schreiner{-}McGraw and
Colin L. Starr and
Corrine Yap},
title = {Unipancyclic matroids},
journal = {Discret. Math.},
volume = {342},
number = {8},
pages = {2254--2269},
year = {2019}
}
@article{DBLP:journals/jmis/CavusogluDP19,
author = {Huseyin Cavusoglu and
Alan R. Dennis and
Jeffrey Parsons},
title = {Special Issue: Immersive Systems},
journal = {J. Manag. Inf. Syst.},
volume = {36},
number = {3},
pages = {680--682},
year = {2019}
}
@article{DBLP:journals/lmcs/JeffreyR19,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019}
}
@inproceedings{DBLP:conf/indin/FredrikssonGOSB19,
author = {Sebastian Fredriksson and
Jonas Gustafsson and
Daniel Olsson and
Jeffrey Sarkinen and
Alan Beresford and
Matthew K{\"{a}}ufeler and
Tor Bj{\"{o}}rn Minde and
Jon Summers},
title = {Integrated thermal management of a 150kW pilot Open Compute Project
style data center},
booktitle = {{INDIN}},
pages = {1443--1450},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/interspeech/DuMCB19,
author = {Wenchao Du and
Louis{-}Philippe Morency and
Jeffrey F. Cohn and
Alan W. Black},
title = {Bag-of-Acoustic-Words for Mental Health Assessment: {A} Deep Autoencoding
Approach},
booktitle = {{INTERSPEECH}},
pages = {1428--1432},
publisher = {{ISCA}},
year = {2019}
}
@inproceedings{DBLP:conf/sigcse/XavierPZAFGEDM20,
author = {Jeffrey Xavier and
Alan Peterfreund and
Rebecca Zarch and
W. Richards Adrion and
Renee Fall and
Mark Guzdial and
Barbara Ericson and
Sarah Dunton and
Tom McKlin},
title = {Fostering State-level Change In {CS} Education: The Expanding Computing
Education Pathways Alliance},
booktitle = {{SIGCSE}},
pages = {1254},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/sp/DisselkoenJJR19,
author = {Craig Disselkoen and
Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {The Code That Never Ran: Modeling Attacks on Speculative Evaluation},
booktitle = {{IEEE} Symposium on Security and Privacy},
pages = {1238--1255},
publisher = {{IEEE}},
year = {2019}
}
@article{DBLP:journals/corr/abs-1909-03111,
author = {Omar S. Navarro Leija and
Alan Jeffrey},
title = {Lightweight Record-and-Replay for Intermittent Tests Failures},
journal = {CoRR},
volume = {abs/1909.03111},
year = {2019}
}
@phdthesis{DBLP:phd/us/Bush18,
author = {Jeffrey Alan Bush},
title = {Spatial Distribution of Subcellular Organelles in Hippocampal Dendrites
from High-Resolution {EM} Images},
school = {University of California, San Diego, {USA}},
year = {2018}
}
@article{DBLP:journals/ascom/JeffreyHF18,
author = {Niall Jeffrey and
Alan Heavens and
P. D. Fortio},
title = {Fast sampling from Wiener posteriors for image data with dataflow
engines},
journal = {Astron. Comput.},
volume = {25},
pages = {230--237},
year = {2018}
}
@article{DBLP:journals/ce/GreeneCDY18,
author = {Jeffrey Alan Greene and
Dana Z. Copeland and
Victor M. Deekens and
Seung B. Yu},
title = {Beyond knowledge: Examining digital literacy's role in the acquisition
of understanding in science},
journal = {Comput. Educ.},
volume = {117},
pages = {141--159},
year = {2018}
}
@article{DBLP:journals/cgf/HoffswellBH18,
author = {Jane Hoffswell and
Alan Borning and
Jeffrey Heer},
title = {SetCoLa: High-Level Constraints for Graph Layout},
journal = {Comput. Graph. Forum},
volume = {37},
number = {3},
pages = {537--548},
year = {2018}
}
@article{DBLP:journals/db/CummingsDCC18,
author = {Jeffrey Cummings and
Alan R. Dennis and
Wooje Cho and
Kevin Cooney},
title = {The Benefit of Being Second: An Event Study of Social Media Adoption},
journal = {Data Base},
volume = {49},
number = {2},
pages = {54--78},
year = {2018}
}
@article{DBLP:journals/ijmi/TisonCPDWKOR18,
author = {Geoffrey H. Tison and
Alanna M. Chamberlain and
Mark J. Pletcher and
Shannon M. Dunlay and
Susan A. Weston and
Jill M. Killian and
Jeffrey E. Olgin and
V{\'{e}}ronique L. Roger},
title = {Identifying heart failure using EMR-based algorithms},
journal = {Int. J. Medical Informatics},
volume = {120},
pages = {1--7},
year = {2018}
}
@article{DBLP:journals/mbec/StuartHNGHRA18,
author = {Samuel Stuart and
D. Hunt and
Jeremy Nell and
Alan Godfrey and
Jeffrey M. Hausdorff and
Lynn Rochester and
Lara Alcock},
title = {Do you see what {I} see? Mobile eye-tracker contextual analysis and
inter-rater reliability},
journal = {Medical Biol. Eng. Comput.},
volume = {56},
number = {2},
pages = {289--296},
year = {2018}
}
@article{DBLP:journals/misq/CummingsD18,
author = {Jeffrey Cummings and
Alan R. Dennis},
title = {Virtual First Impressions Matter: The Effect of Enterprise Social
Networking Sites on Impression Formation in Virtual Teams},
journal = {{MIS} Q.},
volume = {42},
number = {3},
year = {2018}
}
@article{DBLP:journals/ploscb/BaillieBHCGNBST18,
author = {J. Kenneth Baillie and
Andrew Bretherick and
Christopher S. Haley and
Sara Clohisey and
Alan Gray and
Lucile P. A. Neyton and
Jeffrey Barrett and
Eli A. Stahl and
Albert Tenesa and
Robin Andersson and
J. Ben Brown and
Geoffrey J. Faulkner and
Marina Lizio and
Ulf Schaefer and
Carsten O. Daub and
Masayoshi Itoh and
Naoto Kondo and
Timo Lassmann and
Jun Kawai and
IIBDGC Consortium and
Damian Mole and
Vladimir B. Bajic and
Peter Heutink and
Michael Rehli and
Hideya Kawaji and
Albin Sandelin and
Harukazu Suzuki and
Jack Satsangi and
Christine A. Wells and
Nir Hacohen and
Tom C. Freeman and
Yoshihide Hayashizaki and
Piero Carninci and
Alistair R. R. Forrest and
David A. Hume},
title = {Shared activity patterns arising at genetic susceptibility loci reveal
underlying genomic and cellular architecture of human disease},
journal = {PLoS Comput. Biol.},
volume = {14},
number = {3},
year = {2018}
}
@article{DBLP:journals/tnn/BarrettBYS18,
author = {Daniel Paul Barrett and
Scott Alan Bronikowski and
Haonan Yu and
Jeffrey Mark Siskind},
title = {Driving Under the Influence (of Language)},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {29},
number = {7},
pages = {2668--2683},
year = {2018}
}
@inproceedings{DBLP:conf/eurosys/KakivayaXHAPSGT18,
author = {Gopal Kakivaya and
Lu Xun and
Richard Hasha and
Shegufta Bakht Ahsan and
Todd Pfleiger and
Rishi Sinha and
Anurag Gupta and
Mihail Tarta and
Mark Fussell and
Vipul Modi and
Mansoor Mohsin and
Ray Kong and
Anmol Ahuja and
Oana Platon and
Alex Wun and
Matthew Snider and
Chacko Daniel and
Dan Mastrian and
Yang Li and
Aprameya Rao and
Vaishnav Kidambi and
Randy Wang and
Abhishek Ram and
Sumukh Shivaprakash and
Rajeet Nair and
Alan Warwick and
Bharat S. Narasimman and
Meng Lin and
Jeffrey Chen and
Abhay Balkrishna Mhatre and
Preetha Subbarayalu and
Mert Coskun and
Indranil Gupta},
title = {Service fabric: a distributed platform for building microservices
in the cloud},
booktitle = {EuroSys},
pages = {33:1--33:15},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/icls/Dragnic-Cindric18,
author = {Dalila Dragnic{-}Cindric and
Nikki G. Lobczowski and
Jeffrey Alan Greene and
Karen Murphy},
title = {Exploring Teacher Presence During Social Regulation of Learning in
Science Classrooms},
booktitle = {{ICLS}},
publisher = {International Society of the Learning Sciences},
year = {2018}
}
@inproceedings{DBLP:conf/ofc/RahnDKRBKNXCSWM18,
author = {Jeffrey Rahn and
Lee Dardis and
David Krause and
Mark Rice and
Chris Berry and
Ales Kumpera and
Alan Nilsson and
Xian Xu and
Kevin Croussore and
Parmijit Samra and
Kenneth Weidner and
Zulfikar Morbi and
Scott Demars and
Arseny Vasilyev and
Charles Chen and
Paul Freeman},
title = {DSP-Enabled Frequency Locking for Near-Nyquist Spectral Efficiency
Superchannels utilizing Integrated Photonics},
booktitle = {{OFC}},
pages = {1--3},
publisher = {{IEEE}},
year = {2018}
}
@article{DBLP:journals/corr/abs-1807-00067,
author = {Alan Jeffrey},
title = {Josephine: Using JavaScript to safely manage the lifetimes of Rust
data},
journal = {CoRR},
volume = {abs/1807.00067},
year = {2018}
}
@article{DBLP:journals/corr/abs-1809-04430,
author = {Stanislav Nikolov and
Sam Blackwell and
Ruheena Mendes and
Jeffrey De Fauw and
Clemens Meyer and
C{\'{\i}}an Hughes and
Harry Askham and
Bernardino Romera{-}Paredes and
Alan Karthikesalingam and
Carlton Chu and
Dawn Carnell and
Cheng Boon and
Derek D'Souza and
Syed Ali Moinuddin and
Kevin Sullivan and
DeepMind Radiographer Consortium and
Hugh Montgomery and
Geraint Rees and
Ricky Sharma and
Mustafa Suleyman and
Trevor Back and
Joseph R. Ledsam and
Olaf Ronneberger},
title = {Deep learning to achieve clinically applicable segmentation of head
and neck anatomy for radiotherapy},
journal = {CoRR},
volume = {abs/1809.04430},
year = {2018}
}
@article{DBLP:journals/jssc/BellKSLCFCZRCTP17,
author = {John Bell and
Phil Knag and
Shuanghong Sun and
Yong Lim and
Thomas Chen and
Jeffrey Fredenburg and
Chia{-}Hsiang Chen and
Chunyang Zhai and
Aaron Z. Rocca and
Nicholas Collins and
Andres Tamez and
Jorge Pernillo and
Justin M. Correll and
Alan B. Tanner and
Zhengya Zhang and
Michael P. Flynn},
title = {A 1.5-GHz 6.144T Correlations/s 64 {\texttimes} 64 Cross-Correlator
With 128 Integrated ADCs for Real-Time Synthetic Aperture Imaging},
journal = {{IEEE} J. Solid State Circuits},
volume = {52},
number = {5},
pages = {1450--1457},
year = {2017}
}
@article{DBLP:journals/mmas/LindsayBW17,
author = {Alan E. Lindsay and
Andrew J. Bernoff and
Michael Jeffrey Ward},
title = {First Passage Statistics for the Capture of a Brownian Particle by
a Structured Spherical Target with Multiple Surface Traps},
journal = {Multiscale Model. Simul.},
volume = {15},
number = {1},
pages = {74--109},
year = {2017}
}
@inproceedings{DBLP:conf/isca/JouppiYPPABBBBB17,
author = {Norman P. Jouppi and
Cliff Young and
Nishant Patil and
David A. Patterson and
Gaurav Agrawal and
Raminder Bajwa and
Sarah Bates and
Suresh Bhatia and
Nan Boden and
Al Borchers and
Rick Boyle and
Pierre{-}luc Cantin and
Clifford Chao and
Chris Clark and
Jeremy Coriell and
Mike Daley and
Matt Dau and
Jeffrey Dean and
Ben Gelb and
Tara Vazir Ghaemmaghami and
Rajendra Gottipati and
William Gulland and
Robert Hagmann and
C. Richard Ho and
Doug Hogberg and
John Hu and
Robert Hundt and
Dan Hurt and
Julian Ibarz and
Aaron Jaffey and
Alek Jaworski and
Alexander Kaplan and
Harshit Khaitan and
Daniel Killebrew and
Andy Koch and
Naveen Kumar and
Steve Lacy and
James Laudon and
James Law and
Diemthu Le and
Chris Leary and
Zhuyuan Liu and
Kyle Lucke and
Alan Lundin and
Gordon MacKean and
Adriana Maggiore and
Maire Mahony and
Kieran Miller and
Rahul Nagarajan and
Ravi Narayanaswami and
Ray Ni and
Kathy Nix and
Thomas Norrie and
Mark Omernick and
Narayana Penukonda and
Andy Phelps and
Jonathan Ross and
Matt Ross and
Amir Salek and
Emad Samadiani and
Chris Severn and
Gregory Sizikov and
Matthew Snelham and
Jed Souter and
Dan Steinberg and
Andy Swing and
Mercedes Tan and
Gregory Thorson and
Bo Tian and
Horia Toma and
Erick Tuttle and
Vijay Vasudevan and
Richard Walter and
Walter Wang and
Eric Wilcox and
Doe Hyun Yoon},
title = {In-Datacenter Performance Analysis of a Tensor Processing Unit},
booktitle = {{ISCA}},
pages = {1--12},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/xsede/RodriguezSWWC17,
author = {Paul Rodr{\'{\i}}guez and
Sandeep Puthanveetil Satheesan and
Jeffrey Will and
Elizabeth Wuerffel and
Alan B. Craig},
title = {Extracting, Assimilating, and Sharing the Results of Image Analysis
on the {FSA/OWI} Photography Collection},
booktitle = {{PEARC}},
pages = {42:1--42:6},
publisher = {{ACM}},
year = {2017}
}
@article{DBLP:journals/corr/JeffreyR17,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory},
journal = {CoRR},
volume = {abs/1707.05881},
year = {2017}
}
@article{DBLP:journals/corr/JouppiYPPABBBBB17,
author = {Norman P. Jouppi and
Cliff Young and
Nishant Patil and
David A. Patterson and
Gaurav Agrawal and
Raminder Bajwa and
Sarah Bates and
Suresh Bhatia and
Nan Boden and
Al Borchers and
Rick Boyle and
Pierre{-}luc Cantin and
Clifford Chao and
Chris Clark and
Jeremy Coriell and
Mike Daley and
Matt Dau and
Jeffrey Dean and
Ben Gelb and
Tara Vazir Ghaemmaghami and
Rajendra Gottipati and
William Gulland and
Robert Hagmann and
C. Richard Ho and
Doug Hogberg and
John Hu and
Robert Hundt and
Dan Hurt and
Julian Ibarz and
Aaron Jaffey and
Alek Jaworski and
Alexander Kaplan and
Harshit Khaitan and
Andy Koch and
Naveen Kumar and
Steve Lacy and
James Laudon and
James Law and
Diemthu Le and
Chris Leary and
Zhuyuan Liu and
Kyle Lucke and
Alan Lundin and
Gordon MacKean and
Adriana Maggiore and
Maire Mahony and
Kieran Miller and
Rahul Nagarajan and
Ravi Narayanaswami and
Ray Ni and
Kathy Nix and
Thomas Norrie and
Mark Omernick and
Narayana Penukonda and
Andy Phelps and
Jonathan Ross and
Amir Salek and
Emad Samadiani and
Chris Severn and
Gregory Sizikov and
Matthew Snelham and
Jed Souter and
Dan Steinberg and
Andy Swing and
Mercedes Tan and
Gregory Thorson and
Bo Tian and
Horia Toma and
Erick Tuttle and
Vijay Vasudevan and
Richard Walter and
Walter Wang and
Eric Wilcox and
Doe Hyun Yoon},
title = {In-Datacenter Performance Analysis of a Tensor Processing Unit},
journal = {CoRR},
volume = {abs/1704.04760},
year = {2017}
}
@article{DBLP:journals/aim/FarrellLKWMEMBG16,
author = {Robert G. Farrell and
Jonathan Lenchner and
Jeffrey O. Kephart and
Alan M. Webb and
Michael J. Muller and
Thomas D. Erikson and
David O. Melville and
Rachel K. E. Bellamy and
Daniel M. Gruen and
Jonathan H. Connell and
Danny Soroker and
Andy Aaron and
Shari Trewin and
Maryam Ashoori and
Jason B. Ellis and
Brian P. Gaucher and
Dario Gil},
title = {Symbiotic Cognitive Computing},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {81--93},
year = {2016}
}
@article{DBLP:journals/jodl/OhYPWF16,
author = {Sanghee Oh and
Seungwon Yang and
Jeffrey Pomerantz and
Barbara M. Wildemuth and
Edward A. Fox},
title = {Results of a digital library curriculum field test},
journal = {Int. J. Digit. Libr.},
volume = {17},
number = {4},
pages = {273--286},
year = {2016}
}
@article{DBLP:journals/jssc/KonstadinidisLS16,
author = {Georgios K. Konstadinidis and
Hongping Penny Li and
Francis Schumacher and
Venkatram Krishnaswamy and
Hoyeol Cho and
Sudesna Dash and
Robert P. Masleid and
Chaoyang Zheng and
Yuanjung David Lin and
Paul Loewenstein and
Heechoul Park and
Vijay Srinivasan and
Dawei Huang and
Changku Hwang and
Wenjay Hsu and
Curtis McAllister and
Jeffrey Brooks and
Ha Pham and
Sebastian Turullols and
Yifan YangGong and
Robert T. Golla and
Alan P. Smith and
Ali Vahidsafa},
title = {{SPARC} {M7:} {A} 20 nm 32-Core 64 {MB} {L3} Cache Processor},
journal = {{IEEE} J. Solid State Circuits},
volume = {51},
number = {1},
pages = {79--91},
year = {2016}
}
@article{DBLP:journals/mscs/GotoJJPR16,
author = {Matthew A. Goto and
Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {An extensible approach to session polymorphism},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {465--509},
year = {2016}
}
@article{DBLP:journals/neuroimage/KochunovTWMFCDM16,
author = {Peter V. Kochunov and
Paul M. Thompson and
Anderson M. Winkler and
Mary Morrissey and
Mao Fu and
Thomas R. Coyle and
Xiaoming Du and
Florian Muellerklein and
Anya Savransky and
Christopher Gaudiot and
Hemalatha Sampath and
George Eskandar and
Neda Jahanshad and
Binish Patel and
Laura Rowland and
Thomas E. Nichols and
Jeffrey R. O'Connell and
Alan R. Shuldiner and
Braxton D. Mitchell and
L. Elliot Hong},
title = {The common genetic influence over processing speed and white matter
microstructure: Evidence from the Old Order Amish and Human Connectome
Projects},
journal = {NeuroImage},
volume = {125},
pages = {189--197},
year = {2016}
}
@article{DBLP:journals/remotesensing/HeronJLGMCJOBBI16,
author = {Scott F. Heron and
Lyza Johnston and
Gang Liu and
Erick F. Geiger and
Jeffrey A. Maynard and
Jacqueline L. De La Cour and
Steven Johnson and
Ryan Okano and
David Benavente and
Timothy F. R. Burgess and
John Iguel and
Denise I. Perez and
William J. Skirving and
Alan E. Strong and
Kyle Tirak and
C. Mark Eakin},
title = {Validation of Reef-Scale Thermal Stress Satellite Products for Coral
Bleaching Monitoring},
journal = {Remote. Sens.},
volume = {8},
number = {1},
pages = {59},
year = {2016}
}
@inproceedings{DBLP:conf/amcis/CummingsD16,
author = {Jeffrey Cummings and
Alan R. Dennis},
title = {Enterprise Social Networking Sites and Knowledge Sharing Intentions
in Virtual Teams},
booktitle = {{AMCIS}},
publisher = {Association for Information Systems},
year = {2016}
}
@inproceedings{DBLP:conf/bigdataconf/ShaoLKHDCL16,
author = {Xiaoyan Shao and
Siyuan Lu and
Theodore G. van Kessel and
Hendrik F. Hamann and
Leda Daehler and
Jeffrey Cwagenberg and
Alan Li},
title = {Solar irradiance forecasting by machine learning for solar car races},
booktitle = {{IEEE} BigData},
pages = {2209--2216},
publisher = {{IEEE} Computer Society},
year = {2016}
}
@inproceedings{DBLP:conf/lics/JeffreyR16,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads Towards an Event Structures Model of Relaxed Memory},
booktitle = {{LICS}},
pages = {759--767},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/xsede/SlavenasRCWW16,
author = {Marcus Slavenas and
Paul Rodr{\'{\i}}guez and
Alan B. Craig and
Elizabeth Wuerffel and
Jeffrey Will},
title = {Image Analysis and Infrastructure Support for Data Mining the Farm
Security Administration: Office of War Information Photography Collection},
booktitle = {{XSEDE}},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2016}
}
@article{DBLP:journals/corr/BrewsterJ16,
author = {Connor G. Brewster and
Alan Jeffrey},
title = {A Model of Navigation History},
journal = {CoRR},
volume = {abs/1608.05444},
year = {2016}
}
@article{DBLP:journals/ijgi/SmithNQMCN15,
author = {Alan Smith and
Andy Newing and
Niall Quinn and
David J. Martin and
Samantha Cockings and
Jeffrey C. Neal},
title = {Assessing the Impact of Seasonal Population Fluctuation on Regional
Flood Risk Management},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {4},
number = {3},
pages = {1118--1141},
year = {2015}
}
@article{DBLP:journals/midm/RathodLKHRM15,
author = {Sujit D. Rathod and
Tan Li and
Jeffrey D. Klausner and
Alan E. Hubbard and
Arthur L. Reingold and
Purnima Madhivanan},
title = {Logic regression-derived algorithms for syndromic management of vaginal
infections},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {15},
pages = {106},
year = {2015}
}
@article{DBLP:journals/siamam/Brena-MedinaACW15,
author = {Victor F. Brena{-}Medina and
Daniele Avitabile and
Alan R. Champneys and
Michael Jeffrey Ward},
title = {Stripe to Spot Transition in a Plant Root Hair Initiation Model},
journal = {{SIAM} J. Appl. Math.},
volume = {75},
number = {3},
pages = {1090--1119},
year = {2015}
}
@article{DBLP:journals/siamam/LindsayWK15,
author = {Alan E. Lindsay and
Michael Jeffrey Ward and
Theodore Kolokolnikov},
title = {The Transition to a Point Constraint in a Mixed Biharmonic Eigenvalue
Problem},
journal = {{SIAM} J. Appl. Math.},
volume = {75},
number = {3},
pages = {1193--1224},
year = {2015}
}
@article{DBLP:journals/corr/BarrettBYS15,
author = {Daniel Paul Barrett and
Scott Alan Bronikowski and
Haonan Yu and
Jeffrey Mark Siskind},
title = {Robot Language Learning, Generation, and Comprehension},
journal = {CoRR},
volume = {abs/1508.06161},
year = {2015}
}
@article{DBLP:journals/ce/GreeneYC14,
author = {Jeffrey Alan Greene and
Seung B. Yu and
Dana Z. Copeland},
title = {Measuring critical components of digital literacy and their relationships
with learning},
journal = {Comput. Educ.},
volume = {76},
pages = {55--69},
year = {2014}
}
@article{DBLP:journals/ethicsit/Johnson14,
author = {Jeffrey Alan Johnson},
title = {From open data to information justice},
journal = {Ethics Inf. Technol.},
volume = {16},
number = {4},
pages = {263--274},
year = {2014}
}
@article{DBLP:journals/micro/PugsleyJBSBDL14,
author = {Seth H. Pugsley and
Jeffrey Jestes and
Rajeev Balasubramonian and
Vijayalakshmi Srinivasan and
Alper Buyuktosunoglu and
Al Davis and
Feifei Li},
title = {Comparing Implementations of Near-Data Computing with In-Memory MapReduce
Workloads},
journal = {{IEEE} Micro},
volume = {34},
number = {4},
pages = {44--52},
year = {2014}
}
@article{DBLP:journals/nar/AkivaBABCHHLMMMMOSSYFHB14,
author = {Eyal Akiva and
Shoshana D. Brown and
Daniel E. Almonacid and
Alan E. Barber II and
Ashley F. Custer and
Michael A. Hicks and
Conrad C. Huang and
Florian Lauck and
Susan T. Mashiyama and
Elaine C. Meng and
David Mischel and
John H. Morris and
Sunil Ojha and
Alexandra M. Schnoes and
Doug Stryke and
Jeffrey M. Yunes and
Thomas E. Ferrin and
Gemma L. Holliday and
Patricia C. Babbitt},
title = {The Structure-Function Linkage Database},
journal = {Nucleic Acids Res.},
volume = {42},
number = {Database-Issue},
pages = {521--530},
year = {2014}
}
@article{DBLP:journals/neuroimage/SuridjanRVSSSWMHM14,
author = {I. Suridjan and
Pablo Rusjan and
Aristotle N. Voineskos and
T. Selvanathan and
Elaine Setiawan and
Antonio P. Strafella and
Alan A. Wilson and
Jeffrey H. Meyer and
Sylvain Houle and
Romina Mizrahi},
title = {Neuroinflammation in healthy aging: {A} {PET} study using a novel
Translocator Protein 18 kDa {(TSPO)} radioligand, [\({}^{\mbox{18}}\)F]-FEPPA},
journal = {NeuroImage},
volume = {84},
pages = {868--875},
year = {2014}
}
@article{DBLP:journals/siamads/Brena-MedinaCGW14,
author = {Victor Brena{-}Medina and
Alan R. Champneys and
C. Grierson and
Michael Jeffrey Ward},
title = {Mathematical Modeling of Plant Root Hair Initiation: Dynamics of Localized
Patches},
journal = {{SIAM} J. Appl. Dyn. Syst.},
volume = {13},
number = {1},
pages = {210--248},
year = {2014}
}
@inproceedings{DBLP:conf/amia/MeekerLFPGFRDK14,
author = {Daniella Meeker and
Jeffrey A. Linder and
Mark W. Friedberg and
Stephen D. Persell and
Noah J. Goldstein and
Craig R. Fox and
Alan Rothfeld and
Jason N. Doctor and
Tara K. Knight},
title = {Application of Behavioral Economics to Design of Decision Support
and Performance Feedback: {A} Comparative Randomized Controlled Trial},
booktitle = {{AMIA}},
publisher = {{AMIA}},
year = {2014}
}
@inproceedings{DBLP:conf/csl/Jeffrey14,
author = {Alan Jeffrey},
title = {Functional reactive types},
booktitle = {{CSL-LICS}},
pages = {54:1--54:9},
publisher = {{ACM}},
year = {2014}
}
@inproceedings{DBLP:conf/fie/FroydCS14,
author = {Jeffrey E. Froyd and
R. Alan Cheville and
Tom Siller},
title = {Potential minimum viable value propositions for engineering education
scholarship},
booktitle = {{FIE}},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2014}
}
@inproceedings{DBLP:conf/gecco/ColemanBC14,
author = {Oliver J. Coleman and
Alan D. Blair and
Jeff Clune},
title = {Automated generation of environments to test the general learning
capabilities of {AI} agents},
booktitle = {{GECCO}},
pages = {161--168},
publisher = {{ACM}},
year = {2014}
}
@inproceedings{DBLP:conf/hcomp/HuangLRB14,
author = {Ting{-}Hao K. Huang and
Walter S. Lasecki and
Alan L. Ritter and
Jeffrey P. Bigham},
title = {Combining Non-Expert and Expert Crowd Work to Convert Web APIs to
Dialog Systems},
booktitle = {{HCOMP}},
pages = {22--23},
publisher = {{AAAI}},
year = {2014}
}
@inproceedings{DBLP:conf/icde/RaeHN14,
author = {Ian Rae and
Alan Halverson and
Jeffrey F. Naughton},
title = {In-RDBMS inverted indexes revisited},
booktitle = {{ICDE}},
pages = {352--363},
publisher = {{IEEE} Computer Society},
year = {2014}
}
@inproceedings{DBLP:conf/ispass/PugsleyJZBSBDL14,
author = {Seth H. Pugsley and
Jeffrey Jestes and
Huihui Zhang and
Rajeev Balasubramonian and
Vijayalakshmi Srinivasan and
Alper Buyuktosunoglu and
Al Davis and
Feifei Li},
title = {{NDC:} Analyzing the impact of 3D-stacked memory+logic devices on
MapReduce workloads},
booktitle = {{ISPASS}},
pages = {190--200},
publisher = {{IEEE} Computer Society},
year = {2014}
}
@inproceedings{DBLP:conf/ofc/XieRHLA0BL0CWPT14,
author = {Guodong Xie and
Yongxiong Ren and
Hao Huang and
Martin P. J. Lavery and
Nisar Ahmed and
Yan Yan and
Changjing Bao and
Long Li and
Zhe Zhao and
Yinwen Cao and
Moshe Willner and
Miles J. Padgett and
Moshe Tur and
Samuel J. Dolinar Jr. and
Robert W. Boyd and
Jeffrey H. Shapiro and
Alan E. Willner},
title = {Experiment turbulence compensation of 50-Gbaud/s orbital-angular-momentum
{QPSK} signals using intensity-only based {SPGD} algorithm},
booktitle = {{OFC}},
pages = {1--3},
publisher = {{IEEE}},
year = {2014}
}
@article{DBLP:journals/sigact/Shallit13,
author = {Jeffrey O. Shallit},
title = {Review of computability and complexity theory by Steven Homer and
Alan L. Selman},
journal = {{SIGACT} News},
volume = {44},
number = {4},
pages = {41--42},
year = {2013}
}
@inproceedings{DBLP:conf/cogsci/FinlaysonFGGLLM13,
author = {Mark A. Finlayson and
Bernhard Fisseni and
Dedre Gentner and
Richard Gerrig and
Benedikt L{\"{o}}we and
Jeffrey Loewenstein and
Inderjeet Mani and
Jan Christoph Meister and
Robert Michael Young},
title = {Computational and Cognitive Aspects of Narrative},
booktitle = {CogSci},
publisher = {cognitivesciencesociety.org},
year = {2013}
}
@inproceedings{DBLP:conf/icfp/Jeffrey13,
author = {Alan Jeffrey},
title = {Functional reactive programming with liveness guarantees},
booktitle = {{ICFP}},
pages = {233--244},
publisher = {{ACM}},
year = {2013}
}
@inproceedings{DBLP:conf/icws/DanielsenJ13,
author = {Peter J. Danielsen and
Alan Jeffrey},
title = {Validation and Interactivity of Web {API} Documentation},
booktitle = {{ICWS}},
pages = {523--530},
publisher = {{IEEE} Computer Society},
year = {2013}
}
@inproceedings{DBLP:conf/isbi/SunWCRYNF13,
author = {Hao Sun and
Daniel S. Weller and
Alan Chu and
Sathish Ramani and
Daehyun Yoon and
Jon{-}Fredrik Nielsen and
Jeffrey A. Fessler},
title = {Spoke pulse design in magnetic resonance imaging using greedy minimax
algorithm},
booktitle = {{ISBI}},
pages = {696--699},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/iscas/JungCBCB13,
author = {Seungwoo Jung and
John D. Cressler and
Jeff A. Babcock and
Greg Cestra and
Alan Buchholz},
title = {A design methodology to achieve low input impedance and non-constant
gain-bandwidth product in TIAs for optical communication},
booktitle = {{ISCAS}},
pages = {598--601},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/padl/Jeffrey13,
author = {Alan Jeffrey},
title = {Dependently Typed Web Client Applications - {FRP} in Agda in {HTML5}},
booktitle = {{PADL}},
series = {Lecture Notes in Computer Science},
volume = {7752},
pages = {228--243},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/plpv/Jeffrey13,
author = {Alan Jeffrey},
title = {Causality for free!: parametricity implies causality for functional
reactive programs},
booktitle = {{PLPV}},
pages = {57--68},
publisher = {{ACM}},
year = {2013}
}
@proceedings{DBLP:journals/corr/GreenS13,
editor = {Todd J. Green and
Alan Schmitt},
title = {Proceedings of the 14th International Symposium on Database Programming
Languages {(DBPL} 2013), August 30, 2013, Riva del Garda, Trento,
Italy},
year = {2013}
}
@article{DBLP:journals/gandc/SmithTSR12,
author = {Richard S. Smith and
Jeffrey B. Thurston and
Ahmed Salem and
Alan B. Reid},
title = {A grid implementation of the {SLUTH} algorithm for visualising the
depth and structural index of magnetic sources},
journal = {Comput. Geosci.},
volume = {44},
pages = {100--108},
year = {2012}
}
@article{DBLP:journals/informs/PowellGSSLS12,
author = {Warren B. Powell and
Abraham P. George and
Hugo P. Sim{\~{a}}o and
Warren R. Scott and
Alan Lamont and
Jeffrey Stewart},
title = {{SMART:} {A} Stochastic Multiscale Model for the Analysis of Energy
Resources, Technology, and Policy},
journal = {{INFORMS} J. Comput.},
volume = {24},
number = {4},
pages = {665--682},
year = {2012}
}
@article{DBLP:journals/inroads/Popyack12,
author = {Jeffrey L. Popyack},
title = {Alan Kay receives Abacus Award at {UPE} 2012 convention},
journal = {Inroads},
volume = {3},
number = {2},
pages = {21--22},
year = {2012}
}
@article{DBLP:journals/jcisd/TuRMDPGBGMHL12,
author = {Meihua Tu and
Brajesh K. Rai and
Alan M. Mathiowetz and
Mary Didiuk and
Jeffrey A. Pfefferkorn and
Angel Guzman{-}Perez and
John Benbow and
Cristiano R. W. Guimar{\~{a}}es and
Scot Mente and
Matthew M. Hayward and
Spiros Liras},
title = {Exploring Aromatic Chemical Space with {NEAT:} Novel and Electronically
Equivalent Aromatic Template},
journal = {J. Chem. Inf. Model.},
volume = {52},
number = {5},
pages = {1114--1123},
year = {2012}
}
@article{DBLP:journals/jcns/MeyerMSTWKL12,
author = {David J. Meyer and
Jason Messer and
Tanya Singh and
Peter J. Thomas and
Wojbor A. Woyczynski and
Jeffrey A. Kaye and
Alan J. Lerner},
title = {Random local temporal structure of category fluency responses},
journal = {J. Comput. Neurosci.},
volume = {32},
number = {2},
pages = {213--231},
year = {2012}
}
@article{DBLP:journals/nature/JagerCGJMCSMPLH12,
author = {Stefanie J{\"{a}}ger and
Peter Cimermancic and
Natali Gulbahce and
Jeffrey R. Johnson and
Kathryn E. McGovern and
Starlynn C. Clarke and
Michael Shales and
Gaelle Mercenne and
Lars Pache and
Kathy Li and
Hilda Hernandez and
Gwendolyn M. Jang and
Shoshannah L. Roth and
Eyal Akiva and
John Marlett and
Melanie Stephens and
Iv{\'{a}}n D'Orso and
Jason Fernandes and
Marie E. Fahey and
Cathal Mahon and
Anthony J. O'Donoghue and
Aleksandar Todorovic and
John H. Morris and
David A. Maltby and
Tom Alber and
Gerard Cagney and
Frederic D. Bushman and
John A. Young and
Sumit K. Chanda and
Wesley I. Sundquist and
Tanja Kortemme and
Ryan D. Hernandez and
Charles S. Craik and
Alma Burlingame and
Andrej Sali and
Alan D. Frankel and
Nevan J. Krogan},
title = {Global landscape of HIV-human protein complexes},
journal = {Nat.},
volume = {481},
number = {7381},
pages = {365--370},
year = {2012}
}
@inproceedings{DBLP:conf/ACMse/JohnsonWGDSA12,
author = {Dalorion Johnson and
J. Michael Wyss and
Jeff Gray and
Shaundra B. Daily and
Alan Shih and
Gypsy Abbot},
title = {Broadening participation in computing: the multi-tiered approach},
booktitle = {{ACM} Southeast Regional Conference},
pages = {371--372},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/amia/RussZMSWRMKDHPJS12,
author = {Alissa L. Russ and
Alan J. Zillich and
Brittany Melton and
Jeffrey Spina and
Michael Weiner and
Scott A. Russell and
Mildred McManus and
Amanda Kobylinski and
Bradley N. Doebbeling and
Jason Hawsey and
Anthony Puleo and
Elizabette Johnson and
Jason J. Saleem},
title = {Applying Human Factors Principles to Improve Medication Alerts},
booktitle = {{AMIA}},
publisher = {{AMIA}},
year = {2012}
}
@inproceedings{DBLP:conf/plpv/Jeffrey12,
author = {Alan Jeffrey},
title = {{LTL} types {FRP:} linear-time temporal logic propositions as types,
proofs as functional reactive programs},
booktitle = {{PLPV}},
pages = {49--60},
publisher = {{ACM}},
year = {2012}
}
@article{DBLP:journals/nar/Barberan-SolerMEWZ11,
author = {Sergio Barberan{-}Soler and
Pedro Medina and
Jeffrey Estella and
James Williams and
Alan M. Zahler},
title = {Co-regulation of alternative splicing by diverse splicing factors
in \emph{Caenorhabditis elegans}},
journal = {Nucleic Acids Res.},
volume = {39},
number = {2},
pages = {666--674},
year = {2011}
}
@inproceedings{DBLP:conf/csl/JeffreyR11,
author = {Alan Jeffrey and
Julian Rathke},
title = {The Lax Braided Structure of Streaming {I/O}},
booktitle = {{CSL}},
series = {LIPIcs},
volume = {12},
pages = {292--306},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011}
}
@inproceedings{DBLP:conf/dlog/JeffreyP11,
author = {Alan Jeffrey and
Peter F. Patel{-}Schneider},
title = {Integrity Constraints for Linked Data},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011}
}
@inproceedings{DBLP:conf/igarss/YuSNLRGRCLUK11,
author = {Anthony W. Yu and
George B. Shaw and
Anne Marie Novo{-}Gradac and
Steven X. Li and
Luis Ramos{-}Izquierdo and
Jeffrey Guzek and
Alberto Rosanova and
John Cavanaugh and
Alan Lukemire and
Glenn Unger and
Danny Krebs},
title = {The Lunar Orbiter Laser Altimeter {(LOLA)} laser transmitter},
booktitle = {{IGARSS}},
pages = {3378--3379},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/popl/GordonHHJS11,
author = {Andrew D. Gordon and
Robert Harper and
John Harrison and
Alan Jeffrey and
Peter Sewell},
title = {Robin Milner 1934--2010: verification, languages, and concurrency},
booktitle = {{POPL}},
pages = {473--474},
publisher = {{ACM}},
year = {2011}
}
@inproceedings{DBLP:conf/sigmod/DoZPDNH11,
author = {Jaeyoung Do and
Donghui Zhang and
Jignesh M. Patel and
David J. DeWitt and
Jeffrey F. Naughton and
Alan Halverson},
title = {Turbocharging {DBMS} buffer pool using SSDs},
booktitle = {{SIGMOD} Conference},
pages = {1113--1124},
publisher = {{ACM}},
year = {2011}
}
@inproceedings{DBLP:conf/websci/KarnstedtRCAH11,
author = {Marcel Karnstedt and
Matthew Rowe and
Jeffrey Chan and
Harith Alani and
Conor Hayes},
title = {The effect of user features on churn in social networks},
booktitle = {WebSci},
pages = {23:1--23:8},
publisher = {{ACM}},
year = {2011}
}
@incollection{DBLP:books/sp/11/YangOWPF11,
author = {Seungwon Yang and
Sanghee Oh and
Barbara M. Wildemuth and
Jeffrey Pomerantz and
Edward A. Fox},
title = {Educational Resource Development for Information Retrieval in a Digital
Libraries Context},
booktitle = {Teaching and Learning in Information Retrieval},
series = {The Information Retrieval Series},
volume = {31},
pages = {199--212},
publisher = {Springer},
year = {2011}
}
@incollection{DBLP:reference/tf/BermanO11,
author = {Alan Berman and
Jeffrey L. Ott},
title = {Security Controls: Dial-Up},
booktitle = {Encyclopedia of Information Assurance},
publisher = {Taylor {\&} Francis},
year = {2011}
}
@article{DBLP:journals/corr/abs-1106-4572,
author = {Alan Fern and
Robert Givan and
Jeffrey Mark Siskind},
title = {Specific-to-General Learning for Temporal Events with Application
to Learning Event Definitions from Video},
journal = {CoRR},
volume = {abs/1106.4572},
year = {2011}
}
@article{DBLP:journals/ce/GreeneBR10,
author = {Jeffrey Alan Greene and
Cheryl Mason Bolick and
Jane Robertson},
title = {Fostering historical knowledge and thinking skills using hypermedia
learning environments: The role of self-regulated learning},
journal = {Comput. Educ.},
volume = {54},
number = {1},
pages = {230--243},
year = {2010}
}
@article{DBLP:journals/ce/GreeneCRPD10,
author = {Jeffrey Alan Greene and
Lara{-}Jeane Costa and
Jane Robertson and
Yi Pan and
Victor M. Deekens},
title = {Exploring relations among college students' prior knowledge, implicit
theories of intelligence, and self-regulated learning in a hypermedia
environment},
journal = {Comput. Educ.},
volume = {55},
number = {3},
pages = {1027--1043},
year = {2010}
}
@article{DBLP:journals/cssc/MiecznikowskiWH10,
author = {Jeffrey C. Miecznikowski and
Dongliang Wang and
Alan David Hutson},
title = {Bootstrap {MISE} Estimators to Obtain Bandwidth for Kernel Density
Estimation},
journal = {Commun. Stat. Simul. Comput.},
volume = {39},
number = {7},
pages = {1455--1469},
year = {2010}
}
@article{DBLP:journals/neuroimage/VasdevSPMMHW10,
author = {Neil Vasdev and
Oleg Sadovski and
Jun Parkes and
Matthew D. Moran and
Jeffrey H. Meyer and
Sylvain Houle and
Alan A. Wilson},
title = {Development of New {PET} radiopharmaceuticals for imaging monoamine
oxidase-B},
journal = {NeuroImage},
volume = {52},
number = {Supplement-1},
pages = {S16},
year = {2010}
}
@inproceedings{DBLP:conf/ancs/ShaferSFRC10,
author = {Jeffrey Shafer and
Brent E. Stephens and
Michael Foss and
Scott Rixner and
Alan L. Cox},
title = {Axon: a flexible substrate for source-routed ethernet},
booktitle = {{ANCS}},
pages = {22},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/chi/BlytheMLBWBB10,
author = {Mark Blythe and
John C. McCarthy and
Ann Light and
Shaowen Bardzell and
Peter C. Wright and
Jeffrey Bardzell and
Alan F. Blackwell},
title = {Critical dialogue: interaction, experience and cultural theory},
booktitle = {{CHI} Extended Abstracts},
pages = {4521--4524},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/ispass/ShaferRC10,
author = {Jeffrey Shafer and
Scott Rixner and
Alan L. Cox},
title = {The Hadoop distributed filesystem: Balancing portability and performance},
booktitle = {{ISPASS}},
pages = {122--133},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@inproceedings{DBLP:conf/sigmod/KrishnamurthyFDFGLT10,
author = {Sailesh Krishnamurthy and
Michael J. Franklin and
Jeffrey Davis and
Daniel Farina and
Pasha Golovko and
Alan Li and
Neil Thombre},
title = {Continuous analytics over discontinuous streams},
booktitle = {{SIGMOD} Conference},
pages = {1081--1092},
publisher = {{ACM}},
year = {2010}
}
@article{DBLP:journals/rfc/rfc5922,
author = {Vijay K. Gurbani and
Scott D. Lawrence and
Alan S. A. Jeffrey},
title = {Domain Certificates in the Session Initiation Protocol {(SIP)}},
journal = {{RFC}},
volume = {5922},
pages = {1--17},
year = {2010}
}
@article{DBLP:journals/dm/DinitzLD09,
author = {Jeffrey H. Dinitz and
Alan C. H. Ling and
Peter Danziger},
title = {Maximum uniformly resolvable designs with block sizes 2 and 4},
journal = {Discret. Math.},
volume = {309},
number = {14},
pages = {4716--4721},
year = {2009}
}
@article{DBLP:journals/jss/TsaiL09,
author = {Jeffrey J. P. Tsai and
Alan Liu},
title = {Experience on knowledge-based software engineering: {A} logic-based
requirements language and its industrial applications},
journal = {J. Syst. Softw.},
volume = {82},
number = {10},
pages = {1578--1587},
year = {2009}
}
@article{DBLP:journals/jssc/CerneaPMCLLTTN009,
author = {Raul Cernea and
Long Pham and
Farookh Moogat and
Siu Lung Chan and
Binh Le and
Yan Li and
Shouchang Tsao and
Taiyuan Tseng and
Khanh Nguyen and
Jason Li and
Jayson Hu and
Jonghak Yuh and
Cynthia Hsu and
Fanglin Zhang and
Teruhiko Kamei and
Hiroaki Nasu and
Phil Kliza and
Khin Htoo and
Jeffrey Lutze and
Yingda Dong and
Masaaki Higashitani and
Junhui Yang and
Hung{-}Szu Lin and
Vamshi Sakhamuri and
Alan Li and
Feng Pan and
Sridhar Yadala and
Subodh Taigor and
Kishan Pradhan and
James Lan and
Jim Chan and
Takumi Abe and
Yasuyuki Fukuda and
Hideo Mukai and
Koichi Kawakami and
Connie Liang and
Tommy Ip and
Shu{-}Fen Chang and
Jaggi Lakshmipathi and
Sharon Huynh and
Dimitris Pantelakis and
Mehrdad Mofidi and
Khandker Quader},
title = {A 34 MB/s {MLC} Write Throughput 16 Gb {NAND} With All Bit Line Architecture
on 56 nm Technology},
journal = {{IEEE} J. Solid State Circuits},
volume = {44},
number = {1},
pages = {186--194},
year = {2009}
}
@article{DBLP:journals/siamdm/WolfeLD09,
author = {A. J. Wolfe and
Alan C. H. Ling and
Jeffrey H. Dinitz},
title = {The Existence of N\({}_{\mbox{2}}\) Resolvable Latin Squares},
journal = {{SIAM} J. Discret. Math.},
volume = {23},
number = {3},
pages = {1217--1237},
year = {2009}
}
@article{DBLP:journals/tcdl/PomerantzWOYF09,
author = {Jeffrey Pomerantz and
Barbara M. Wildemuth and
Sanghee Oh and
Seungwon Yang and
Edward A. Fox},
title = {Evaluation of a Curriculum for Digital Libraries},
journal = {Bull. {IEEE} Tech. Comm. Digit. Libr.},
volume = {5},
number = {1},
year = {2009}
}
@article{DBLP:journals/titb/ShinKPKMNWKR09,
author = {Dong{-}Guk Shin and
Saira Ali Kazmi and
Baikang Pei and
Yoo{-}Ah Kim and
Jeffrey Maddox and
Ravi Nori and
Alan Wong and
Winfried Krueger and
David W. Rowe},
title = {Computing Consistency Between Microarray Data and Known Gene Regulation
Relationships},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {13},
number = {6},
pages = {1075--1082},
year = {2009}
}
@article{DBLP:journals/twc/ChandrasekharAMSG09,
author = {Vikram Chandrasekhar and
Jeffrey G. Andrews and
Tarik Muharemovic and
Zukang Shen and
Alan Gatherer},
title = {Power Control in Two-Tier Femtocell Networks},
journal = {{IEEE} Trans. Wirel. Commun.},
volume = {8},
number = {8},
pages = {4316--4328},
year = {2009}
}
@inproceedings{DBLP:conf/asist/OhWPYF09,
author = {Sanghee Oh and
Barbara M. Wildemuth and
Jeffrey Pomerantz and
Seungwon Yang and
Edward A. Fox},
title = {Using a Wiki as a platform for formative evaluation},
booktitle = {{ASIST}},
series = {Proc. Assoc. Inf. Sci. Technol.},
volume = {46},
number = {1},
pages = {1--10},
publisher = {Wiley},
year = {2009}
}
@inproceedings{DBLP:conf/bibe/ChenHT09,
author = {Alan C. H. Chen and
Han C. W. Hsiao and
Jeffrey J. P. Tsai},
title = {Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins},
booktitle = {{BIBE}},
pages = {374--377},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@inproceedings{DBLP:conf/esorics/JagadeesanJPR09,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {Towards a Theory of Accountability and Audit},
booktitle = {{ESORICS}},
series = {Lecture Notes in Computer Science},
volume = {5789},
pages = {152--167},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/globecom/ChandrasekharASMG09,
author = {Vikram Chandrasekhar and
Jeffrey G. Andrews and
Zukang Shen and
Tarik Muharemovic and
Alan Gatherer},
title = {Distributed Power Control in Femtocell-Underlay Cellular Networks},
booktitle = {{GLOBECOM}},
pages = {1--6},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/icatech/MernikHBSGLJ09,
author = {Marjan Mernik and
Dejan Hrncic and
Barrett R. Bryant and
Alan P. Sprague and
Jeff Gray and
Qichao Liu and
Faizan Javed},
title = {Grammar inference algorithms and applications in software engineering},
booktitle = {{ICAT}},
pages = {1--7},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/jcdl/WildemuthPOYF09,
author = {Barbara M. Wildemuth and
Jeffrey Pomerantz and
Sanghee Oh and
Seungwon Yang and
Edward A. Fox},
title = {The variety of ways in which instructors implement a modular digital
library curriculum},
booktitle = {{JCDL}},
pages = {455--456},
publisher = {{ACM}},
year = {2009}
}
@inproceedings{DBLP:conf/policy/JeffreyS09,
author = {Alan Jeffrey and
Taghrid Samak},
title = {Model Checking Firewall Policy Configurations},
booktitle = {{POLICY}},
pages = {60--67},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@inproceedings{DBLP:conf/tase/LiuJMBGSH09,
author = {Qichao Liu and
Faizan Javed and
Marjan Mernik and
Barrett R. Bryant and
Jeff Gray and
Alan P. Sprague and
Dejan Hrncic},
title = {{MARS:} Metamodel Recovery from Multi-tiered Models Using Grammar
Inference},
booktitle = {{TASE}},
pages = {325--326},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@article{DBLP:journals/ce/GreeneMAW08,
author = {Jeffrey Alan Greene and
Daniel C. Moos and
Roger Azevedo and
Fielding I. Winters},
title = {Exploring differences between gifted and grade-level students' use
of self-regulatory learning processes with hypermedia},
journal = {Comput. Educ.},
volume = {50},
number = {3},
pages = {1069--1083},
year = {2008}
}
@article{DBLP:journals/cm/ChandrasekharAG08,
author = {Vikram Chandrasekhar and
Jeffrey G. Andrews and
Alan Gatherer},
title = {Femtocell networks: a survey},
journal = {{IEEE} Commun. Mag.},
volume = {46},
number = {9},
pages = {59--67},
year = {2008}
}
@article{DBLP:journals/ijhpca/SupinskiSB08,
author = {Bronis R. de Supinski and
Martin Schulz and
Vasily V. Bulatov and
William H. Cabot and
Bor Chan and
Andrew W. Cook and
Erik W. Draeger and
James N. Glosli and
Jeffrey A. Greenough and
Keith W. Henderson and
Alison Kubota and
Steve Louis and
Brian J. Miller and
Mehul V. Patel and
Thomas E. Spelce and
Frederick H. Streitz and
Peter L. Williams and
Robert K. Yates and
Andy Yoo and
George Alm{\'{a}}si and
Gyan Bhanot and
Alan Gara and
John A. Gunnels and
Manish Gupta and
Jos{\'{e}} E. Moreira and
James C. Sexton and
Robert Walkup and
Charles Archer and
Fran{\c{c}}ois Gygi and
Timothy C. Germann and
Kai Kadau and
Peter S. Lomdahl and
Charles A. Rendleman and
Michael L. Welcome and
William McLendon and
Bruce Hendrickson and
Franz Franchetti and
Stefan Kral and
Juergen Lorenz and
Christoph W. {\"{U}}berhuber and
Edmond Chow and
{\"{U}}mit V. {\c{C}}ataly{\"{u}}rek},
title = {BlueGene/L applications: Parallelism On a Massive Scale},
journal = {Int. J. High Perform. Comput. Appl.},
volume = {22},
number = {1},
pages = {33--51},
year = {2008}
}
@article{DBLP:journals/lmcs/JagadeesanJPR08,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {Lambda-RBAC: Programming with Role-Based Access Control},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {1},
year = {2008}
}
@article{DBLP:journals/neuroimage/LerchCDSEHSH08,
author = {Jason P. Lerch and
Jeffrey B. Carroll and
Adrienne Dorr and
Shoshana Spring and
Alan C. Evans and
Michael R. Hayden and
John G. Sled and
R. Mark Henkelman},
title = {Cortical thickness measured from {MRI} in the {YAC128} mouse model
of Huntington's disease},
journal = {NeuroImage},
volume = {41},
number = {2},
pages = {243--251},
year = {2008}
}
@article{DBLP:journals/tcs/JeffreyR08,
author = {Alan Jeffrey and
Julian Rathke},
title = {Full abstraction for polymorphic pi-calculus},
journal = {Theor. Comput. Sci.},
volume = {390},
number = {2-3},
pages = {171--196},
year = {2008}
}
@article{DBLP:journals/tse/CarverNP08,
author = {Jeffrey C. Carver and
Nachiappan Nagappan and
Alan Page},
title = {The Impact of Educational Background on the Effectiveness of Requirements
Inspections: An Empirical Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {6},
pages = {800--812},
year = {2008}
}
@article{DBLP:journals/vldb/BernsteinGMN08,
author = {Philip A. Bernstein and
Todd J. Green and
Sergey Melnik and
Alan Nash},
title = {Implementing mapping composition},
journal = {{VLDB} J.},
volume = {17},
number = {2},
pages = {333--353},
year = {2008}
}
@inproceedings{DBLP:conf/bcshci/BlytheBBB08,
author = {Mark Blythe and
Jeffrey Bardzell and
Shaowen Bardzell and
Alan F. Blackwell},
title = {Critical issues in interaction design},
booktitle = {{BCS} {HCI} {(2)}},
pages = {183--184},
publisher = {{BCS}},
year = {2008}
}
@inproceedings{DBLP:conf/ispass/McCurdyCV08,
author = {Collin McCurdy and
Alan L. Cox and
Jeffrey S. Vetter},
title = {Investigating the {TLB} Behavior of High-end Scientific Applications
on Commodity Microprocessors},
booktitle = {{ISPASS}},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/jcdl/PomerantzWOYF08,
author = {Jeffrey Pomerantz and
Barbara M. Wildemuth and
Sanghee Oh and
Seungwon Yang and
Edward A. Fox},
title = {Evaluation of a curriculum for digital libraries},
booktitle = {{JCDL}},
pages = {462},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/pods/DeutschNR08,
author = {Alin Deutsch and
Alan Nash and
Jeffrey B. Remmel},
title = {The chase revisited},
booktitle = {{PODS}},
pages = {149--158},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/sigmod/BenediktJL08,
author = {Michael Benedikt and
Alan Jeffrey and
Ruy Ley{-}Wild},
title = {Stream firewalling of xml constraints},
booktitle = {{SIGMOD} Conference},
pages = {487--498},
publisher = {{ACM}},
year = {2008}
}
@article{DBLP:journals/corr/abs-0803-0952,
author = {Vikram Chandrasekhar and
Jeffrey G. Andrews and
Alan Gatherer},
title = {Femtocell Networks: {A} Survey},
journal = {CoRR},
volume = {abs/0803.0952},
year = {2008}
}
@article{DBLP:journals/corr/abs-0810-3869,
author = {Vikram Chandrasekhar and
Jeffrey G. Andrews and
Tarik Muharemovic and
Zukang Shen and
Alan Gatherer},
title = {Power Control in Two-Tier Femtocell Networks},
journal = {CoRR},
volume = {abs/0810.3869},
year = {2008}
}
@article{DBLP:journals/ajc/DinitzLS07,
author = {Jeffrey H. Dinitz and
Alan C. H. Ling and
Douglas R. Stinson},
title = {Perfect hash families from transversal designs},
journal = {Australas. {J} Comb.},
volume = {37},
pages = {233--242},
year = {2007}
}
@article{DBLP:journals/ijpp/MoreiraSA07,
author = {Jos{\'{e}} E. Moreira and
Valentina Salapura and
George Alm{\'{a}}si and
Charles Archer and
Ralph Bellofatto and
Peter Bergner and
Randy Bickford and
Matthias A. Blumrich and
Jos{\'{e}} R. Brunheroto and
Arthur A. Bright and
Michael Brutman and
Jos{\'{e}} G. Casta{\~{n}}os and
Dong Chen and
Paul Coteus and
Paul Crumley and
Sam Ellis and
Thomas Engelsiepen and
Alan Gara and
Mark Giampapa and
Tom Gooding and
Shawn Hall and
Ruud A. Haring and
Roger L. Haskin and
Philip Heidelberger and
Dirk Hoenicke and
Todd Inglett and
Gerard V. Kopcsay and
Derek Lieber and
David Limpert and
Patrick McCarthy and
Mark Megerian and
Michael B. Mundy and
Martin Ohmacht and
Jeff Parker and
Rick A. Rand and
Don Reed and
Ramendra K. Sahoo and
Alda Sanomiya and
Richard Shok and
Brian E. Smith and
Gordon G. Stewart and
Todd Takken and
Pavlos Vranas and
Brian P. Wallenfelt and
Michael Blocksome and
Joe Ratterman},
title = {The Blue Gene/L Supercomputer: {A} Hardware and Software Story},
journal = {Int. J. Parallel Program.},
volume = {35},
number = {3},
pages = {181--206},
year = {2007}
}
@article{DBLP:journals/interfaces/BrownKRW07,
author = {Gerald G. Brown and
Jeffrey E. Kline and
Richard E. Rosenthal and
Alan R. Washburn},
title = {Steaming on Convex Hulls},
journal = {Interfaces},
volume = {37},
number = {4},
pages = {342--352},
year = {2007}
}
@article{DBLP:journals/ivs/BurkhardAADKKPBEHMGLPWMHBFB07,
author = {Remo Aslak Burkhard and
Gennady L. Andrienko and
Natalia V. Andrienko and
Jason Dykes and
Alexander Koutamanis and
Wolfgang Kienreich and
Robert Phaal and
Alan F. Blackwell and
Martin J. Eppler and
Jeffrey Huang and
Mark Meagher and
Armin Gr{\"{u}}n and
Silke Lang and
Daniel Perrin and
Wibke Weber and
Andrew Vande Moere and
Bruce W. Herr and
Katy B{\"{o}}rner and
Jean{-}Daniel Fekete and
Dominique Brodbeck},
title = {Visualization Summit 2007: ten research goals for 2010},
journal = {Inf. Vis.},
volume = {6},
number = {3},
pages = {169--188},
year = {2007}
}
@article{DBLP:journals/simulation/GrobelnyBTGV07,
author = {Eric Grobelny and
David Bueno and
Ian A. Troxel and
Alan D. George and
Jeffrey S. Vetter},
title = {{FASE:} {A} Framework for Scalable Performance Prediction of {HPC}
Systems and Applications},
journal = {Simul.},
volume = {83},
number = {10},
pages = {721--745},
year = {2007}
}
@article{DBLP:journals/tgrs/TannerWLDBKGRGLMRP07,
author = {Alan B. Tanner and
William J. Wilson and
Bjorn H. Lambrigsten and
Steve J. Dinardo and
Shannon T. Brown and
Pekka Kangaslahti and
Todd Gaier and
Christopher Ruf and
Steven M. Gross and
Boon H. Lim and
Stephen B. Musko and
Steven A. Rogacki and
Jeffrey Piepmeier},
title = {Initial Results of the Geostationary Synthetic Thinned Array Radiometer
(GeoSTAR) Demonstrator Instrument},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {45},
number = {7-1},
pages = {1947--1957},
year = {2007}
}
@inproceedings{DBLP:conf/aaai/MeadWC07,
author = {Ross Mead and
Jerry B. Weinberg and
Jeffrey R. Croxell},
title = {An Implementation of Robot Formations using Local Interactions},
booktitle = {{AAAI}},
pages = {1989--1990},
publisher = {{AAAI} Press},
year = {2007}
}
@inproceedings{DBLP:conf/aaaiss/CroxellMW07,
author = {Jeffrey R. Croxell and
Ross Mead and
Jerry B. Weinberg},
title = {Designing Robot Competitions that Promote {AI} Solutions: Lessons
Learned Competing and Designing},
booktitle = {{AAAI} Spring Symposium: Semantic Scientific Knowledge Integration},
pages = {29--34},
publisher = {{AAAI}},
year = {2007}
}
@inproceedings{DBLP:conf/aied/AzevedoWBGMSTS07,
author = {Roger Azevedo and
Amy M. Witherspoon and
Shanna Baker and
Jeffrey Alan Greene and
Daniel C. Moos and
Jeremiah Sullins and
Andrew Trousdale and
Jennifer Scott},
title = {Do Various Self-Regulatory Processes Predict Different Hypermedia
Learning Outcomes?},
booktitle = {{AIED}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {158},
pages = {527--529},
publisher = {{IOS} Press},
year = {2007}
}
@inproceedings{DBLP:conf/aied/WitherspoonAGMB07,
author = {Amy M. Witherspoon and
Roger Azevedo and
Jeffrey Alan Greene and
Daniel C. Moos and
Shanna Baker},
title = {The Dynamic Nature of Self-Regulatory Behavior in Self-Regulated Learning
and Externally-Regulated Learning Episodes},
booktitle = {{AIED}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {158},
pages = {179--186},
publisher = {{IOS} Press},
year = {2007}
}
@inproceedings{DBLP:conf/bibe/TilsonBRGJ07,
author = {Jeffrey L. Tilson and
Alan Blatecky and
Gloria Rendon and
Mao{-}Feng Ger and
Eric Jakobsson},
title = {MotifNetwork: Genome-Wide Domain Analysis using Grid-enabled Workflows},
booktitle = {{BIBE}},
pages = {872--879},
publisher = {{IEEE} Computer Society},
year = {2007}
}
@inproceedings{DBLP:conf/fsttcs/BenediktJ07,
author = {Michael Benedikt and
Alan Jeffrey},
title = {Efficient and Expressive Tree Filters},
booktitle = {{FSTTCS}},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {461--472},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/hpca/ShaferCMRCZW07,
author = {Jeffrey Shafer and
David Carr and
Aravind Menon and
Scott Rixner and
Alan L. Cox and
Willy Zwaenepoel and
Paul Willmann},
title = {Concurrent Direct Network Access for Virtual Machine Monitors},
booktitle = {{HPCA}},
pages = {306--317},
publisher = {{IEEE} Computer Society},
year = {2007}
}
@inproceedings{DBLP:conf/icadl/YangWKMPOF07,
author = {Seungwon Yang and
Barbara M. Wildemuth and
Seonho Kim and
Uma Murthy and
Jeffrey Pomerantz and
Sanghee Oh and
Edward A. Fox},
title = {Further Development of a Digital Library Curriculum: Evaluation Approaches
and New Tools},
booktitle = {{ICADL}},
series = {Lecture Notes in Computer Science},
volume = {4822},
pages = {434--443},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/jcdl/PomerantzOWYF07,
author = {Jeffrey Pomerantz and
Sanghee Oh and
Barbara M. Wildemuth and
Seungwon Yang and
Edward A. Fox},
title = {Digital library education in computer science programs},
booktitle = {{JCDL}},
pages = {177--178},
publisher = {{ACM}},
year = {2007}
}
@inproceedings{DBLP:conf/sysose/BhasinPHTBKJMHMJS07,
author = {Kul B. Bhasin and
Chuck Putt and
Jeffrey L. Hayden and
Shirley Tseng and
Abi Biswas and
Brian Kennedy and
Esther Jennings and
Ron Miller and
John J. Hudiburg and
Dave Miller and
Alan Jeffries and
Tom Sartwell},
title = {Architecting the Communication and Navigation Networks for NASA's
Space Exploration Systems},
booktitle = {SoSE},
pages = {1--6},
publisher = {{IEEE}},
year = {2007}
}
@article{DBLP:journals/corr/abs-0712-1205,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {Lambda-RBAC: Programming with Role-Based Access Control},
journal = {CoRR},
volume = {abs/0712.1205},
year = {2007}
}
@article{DBLP:journals/bioinformatics/LeekMDS06,
author = {Jeffrey T. Leek and
Eva Monsen and
Alan R. Dabney and
John D. Storey},
title = {{EDGE:} extraction and analysis of differential gene expression},
journal = {Bioinform.},
volume = {22},
number = {4},
pages = {507--508},
year = {2006}
}
@article{DBLP:journals/bioinformatics/LeekMDS06a,
author = {Jeffrey T. Leek and
Eva Monsen and
Alan R. Dabney and
John D. Storey},
title = {{EDGE:} extraction and analysis of differential gene expression},
journal = {Bioinform.},
volume = {22},
number = {11},
pages = {1412},
year = {2006}
}
@article{DBLP:journals/dlib/PomerantzOWYF06,
author = {Jeffrey Pomerantz and
Sanghee Oh and
Barbara M. Wildemuth and
Seungwon Yang and
Edward A. Fox},
title = {The Core: Digital Library Education in Library and Information Science
Programs},
journal = {D Lib Mag.},
volume = {12},
number = {11},
year = {2006}
}
@article{DBLP:journals/iandc/HaackJ06,
author = {Christian Haack and
Alan Jeffrey},
title = {Pattern-matching spi-calculus},
journal = {Inf. Comput.},
volume = {204},
number = {8},
pages = {1195--1263},
year = {2006}
}
@article{DBLP:journals/interfaces/AldenBCHJKKOTV06,
author = {Jeffrey M. Alden and
Lawrence D. Burns and
Theodore Costy and
Richard D. Hutton and
Craig A. Jackson and
David S. Kim and
Kevin A. Kohls and
Jonathan H. Owen and
Mark A. Turnquist and
David J. Vander Veen},
title = {General Motors Increases Its Production Throughput},
journal = {Interfaces},
volume = {36},
number = {1},
pages = {6--25},
year = {2006}
}
@article{DBLP:journals/jbi/LinderRPCSCM06,
author = {Jeffrey A. Linder and
Alan F. Rose and
Matvey B. Palchuk and
Frank Y. Chang and
Jeffrey L. Schnipper and
Joseph C. Chan and
Blackford Middleton},
title = {Decision support for acute problems: The role of the standardized
patient in usability testing},
journal = {J. Biomed. Informatics},
volume = {39},
number = {6},
pages = {648--655},
year = {2006}
}
@article{DBLP:journals/networks/DinitzLS06,
author = {Jeffrey H. Dinitz and
Alan C. H. Ling and
Douglas R. Stinson},
title = {Fault-tolerant routings with minimum optical index},
journal = {Networks},
volume = {48},
number = {1},
pages = {47--55},
year = {2006}
}
@article{DBLP:journals/scp/JagadeesanJR06,
author = {Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {Typed parametric polymorphism for aspects},
journal = {Sci. Comput. Program.},
volume = {63},
number = {3},
pages = {267--296},
year = {2006}
}
@article{DBLP:journals/sigops/OngVSMWC06,
author = {Hong Ong and
Jeffrey S. Vetter and
R. Scott Studham and
Collin McCurdy and
Bruce Walker and
Alan L. Cox},
title = {Kernel-level single system image for petascale computing},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {40},
number = {2},
pages = {50--54},
year = {2006}
}
@inproceedings{DBLP:conf/bibe/ShinBKKMNVWWR06,
author = {Dong{-}Guk Shin and
John Bluis and
Yoo Ah Kim and
Winfried Krueger and
Jeffrey Maddox and
Ravi Nori and
Nathan Viniconis and
Hsin{-}Wei Wang and
Alan Wong and
David W. Rowe},
title = {A Computational Inference Framework for analyzing Gene Regulation
Pathway using Microarray Data},
booktitle = {{BIBE}},
pages = {299--306},
publisher = {{IEEE} Computer Society},
year = {2006}
}
@inproceedings{DBLP:conf/icadl/YangFWPO06,
author = {Seungwon Yang and
Edward A. Fox and
Barbara M. Wildemuth and
Jeffrey Pomerantz and
Sanghee Oh},
title = {Interdisciplinary Curriculum Development for Digital Library Education},
booktitle = {{ICADL}},
series = {Lecture Notes in Computer Science},
volume = {4312},
pages = {61--70},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/icalp/JagadeesanJPR06,
author = {Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {\emph{lambda}-RBAC: Programming with Role-Based Access Control},
booktitle = {{ICALP} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {456--467},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/icde/BeckmannHKN06,
author = {Jennifer L. Beckmann and
Alan Halverson and
Rajasekar Krishnamurthy and
Jeffrey F. Naughton},
title = {Extending RDBMSs To Support Sparse Datasets Using An Interpreted Attribute
Storage Format},
booktitle = {{ICDE}},
pages = {58},
publisher = {{IEEE} Computer Society},
year = {2006}
}
@inproceedings{DBLP:conf/icls/AzevedoGMWCC06,
author = {Roger Azevedo and
Jeffrey Alan Greene and
Daniel C. Moos and
Fielding I. Winters and
Jennifer Cromley and
Pragati Godbole Chaudhuri},
title = {Is Externally-regulated Learning by a Human Tutor Effective in Facilitating
Learning with Hypermedia?},
booktitle = {{ICLS}},
publisher = {International Society of the Learning Sciences},
year = {2006}
}
@inproceedings{DBLP:conf/icls/GreeneA06,
author = {Jeffrey Alan Greene and
Roger Azevedo},
title = {Adolescents' Use of Self-regulatory Processes and Their Relation to
Qualitative Mental Model Shifts While Using Hypermedia},
booktitle = {{ICLS}},
publisher = {International Society of the Learning Sciences},
year = {2006}
}
@inproceedings{DBLP:conf/icls/GreeneMAW06,
author = {Jeffrey Alan Greene and
Daniel C. Moos and
Roger Azevedo and
Fielding I. Winters},
title = {Exploring Differences Between Gifted and Grade-level Students' Use
of Self-regulatory Learning Processes with Hypermedia},
booktitle = {{ICLS}},
publisher = {International Society of the Learning Sciences},
year = {2006}
}
@inproceedings{DBLP:conf/jcdl/PomerantzWYF06,
author = {Jeffrey Pomerantz and
Barbara M. Wildemuth and
Seungwon Yang and
Edward A. Fox},
title = {Curriculum development for digital libraries},
booktitle = {{JCDL}},
pages = {175--184},
publisher = {{ACM}},
year = {2006}
}
@inproceedings{DBLP:conf/vldb/BernsteinGMN06,
author = {Philip A. Bernstein and
Todd J. Green and
Sergey Melnik and
Alan Nash},
title = {Implementing Mapping Composition},
booktitle = {{VLDB}},
pages = {55--66},
publisher = {{ACM}},
year = {2006}
}
@article{DBLP:journals/eccc/NashIR06,
author = {Alan Nash and
Russell Impagliazzo and
Jeffrey B. Remmel},
title = {Infinitely-Often Universal Languages and Diagonalization},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR06-051}},
year = {2006}
}
@article{DBLP:journals/cais/ParsonsIH05,
author = {Jeffrey Parsons and
Juhani Iivari and
Alan R. Hevner},
title = {Research in Information Systems Analysis and Design: Introduction
to the Special Theme Papers},
journal = {Commun. Assoc. Inf. Syst.},
volume = {16},
pages = {40},
year = {2005}
}
@article{DBLP:journals/ibmrd/BennerIKKR05,
author = {Alan F. Benner and
Michael Ignatowski and
Jeffrey A. Kash and
Daniel M. Kuchta and
Mark B. Ritter},
title = {Exploitation of optical interconnects in future server architectures},
journal = {{IBM} J. Res. Dev.},
volume = {49},
number = {4-5},
pages = {755--776},
year = {2005}
}
@article{DBLP:journals/jbi/RoseSPPLM05,
author = {Alan F. Rose and
Jeffrey L. Schnipper and
Elyse R. Park and
Eric G. Poon and
Qi Li and
Blackford Middleton},
title = {Using qualitative studies to improve the usability of an {EMR}},
journal = {J. Biomed. Informatics},
volume = {38},
number = {1},
pages = {51--60},
year = {2005}
}
@article{DBLP:journals/lmcs/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
title = {Contextual equivalence for higher-order pi-calculus revisited},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {1},
year = {2005}
}
@article{DBLP:journals/tcs/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
title = {A fully abstract may testing semantics for concurrent objects},
journal = {Theor. Comput. Sci.},
volume = {338},
number = {1-3},
pages = {17--63},
year = {2005}
}
@article{DBLP:journals/tim/TaylorNCLCSHHB05,
author = {Karen Taylor and
Bryan Nelson and
Alan Chong and
Henry C. Lin and
Eddie Chan and
Mani Soma and
Hosam Haggag and
Jeff Huard and
Jim Braatz},
title = {Special issue on {BIT} {CMOS} built-in test architecture for high-speed
jitter measurement},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {54},
number = {3},
pages = {975--987},
year = {2005}
}
@inproceedings{DBLP:conf/aied/AzevedoMWGCOC05,
author = {Roger Azevedo and
Daniel C. Moos and
Fielding I. Winters and
Jeffrey Alan Greene and
Jennifer Cromley and
Evan Olson and
Pragati Godbole Chaudhuri},
title = {Why Is Externally-Regulated Learning More Effective Than Self-Regulated
Learning with Hypermedia?},
booktitle = {{AIED}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {125},
pages = {41--48},
publisher = {{IOS} Press},
year = {2005}
}
@inproceedings{DBLP:conf/aied/GreeneA05,
author = {Jeffrey Alan Greene and
Roger Azevedo},
title = {Adolescents' Use of {SRL} Behaviors and Their Relation to Qualitative
Mental Model Shifts While Using Hypermedia},
booktitle = {{AIED}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {125},
pages = {233--240},
publisher = {{IOS} Press},
year = {2005}
}
@inproceedings{DBLP:conf/concur/GordonJ05,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {186--201},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/concur/HaackJ05,
author = {Christian Haack and
Alan Jeffrey},
title = {Timed Spi-Calculus with Types for Secrecy and Authenticity},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {202--216},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/esop/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
title = {Java Jr: Fully Abstract Trace Semantics for a Core Java Language},
booktitle = {{ESOP}},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {423--438},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/fossacs/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
title = {Full Abstraction for Polymorphic Pi-Calculus},
booktitle = {FoSSaCS},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {266--281},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/icdt/NashRV05,
author = {Alan Nash and
Jeffrey B. Remmel and
Victor Vianu},
title = {{PTIME} Queries Revisited},
booktitle = {{ICDT}},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {274--288},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/ics/AlmasiBGGSWBCSGGGKLSSWYAMR05,
author = {George Alm{\'{a}}si and
Gyan Bhanot and
Alan Gara and
Manish Gupta and
James C. Sexton and
Robert Walkup and
Vasily V. Bulatov and
Andrew W. Cook and
Bronis R. de Supinski and
James N. Glosli and
Jeffrey A. Greenough and
Fran{\c{c}}ois Gygi and
Alison Kubota and
Steve Louis and
Thomas E. Spelce and
Frederick H. Streitz and
Peter L. Williams and
Robert K. Yates and
Charles Archer and
Jos{\'{e}} E. Moreira and
Charles A. Rendleman},
title = {Scaling physics and material science applications on a massively parallel
Blue Gene/L system},
booktitle = {{ICS}},
pages = {246--252},
publisher = {{ACM}},
year = {2005}
}
@article{DBLP:journals/corr/abs-cs-0503067,
author = {Alan Jeffrey and
Julian Rathke},
title = {Contextual equivalence for higher-order pi-calculus revisited},
journal = {CoRR},
volume = {abs/cs/0503067},
year = {2005}
}
@article{DBLP:journals/jcs/GordonJ04,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Types and effects for asymmetric cryptographic protocols},
journal = {J. Comput. Secur.},
volume = {12},
number = {3-4},
pages = {435--483},
year = {2004}
}
@article{DBLP:journals/jssc/DrakeNNBB04,
author = {Alan J. Drake and
Kevin J. Nowka and
Tuyet Nguyen and
Jeffrey L. Burns and
Richard B. Brown},
title = {Resonant clocking using distributed parasitic capacitance},
journal = {{IEEE} J. Solid State Circuits},
volume = {39},
number = {9},
pages = {1520--1528},
year = {2004}
}
@article{DBLP:journals/tcs/JeffreyR04,
author = {Alan Jeffrey and
Julian Rathke},
title = {A theory of bisimulation for a fragment of concurrent {ML} with local
names},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {1--48},
year = {2004}
}
@inproceedings{DBLP:conf/amcis/ParsonsBBHS04,
author = {Jeffrey Parsons and
Akhilesh Bajaj and
Dinesh Batra and
Alan R. Hevner and
Keng Siau},
title = {SA{\&}D and Database: Should we be researching what we are teaching?},
booktitle = {{AMCIS}},
pages = {200},
publisher = {Association for Information Systems},
year = {2004}
}
@inproceedings{DBLP:conf/concur/BrunsJJR04,
author = {Glenn Bruns and
Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {{\(\mathrm{\mu}\)}ABC: {A} Minimal Aspect Calculus},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {209--224},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/icmla/LiuSG04,
author = {Danyu Liu and
Alan P. Sprague and
Jeffrey G. Gray},
title = {PolyCluster: an interactive visualization approach to construct classification
rules},
booktitle = {{ICMLA}},
pages = {280--287},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@inproceedings{DBLP:conf/ifip1-7/HaackJ04,
author = {Christian Haack and
Alan Jeffrey},
title = {Pattern-Matching Spi-Calculus},
booktitle = {Formal Aspects in Security and Trust},
series = {{IFIP}},
volume = {173},
pages = {55--70},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/igarss/LambrigtsenWTGRP04,
author = {Bjorn Lambrigtsen and
William J. Wilson and
Alan B. Tanner and
Todd Gaier and
Christopher S. Ruf and
Jeffrey R. Piepmeier},
title = {GeoSTAR - a microwave sounder for geostationary satellites},
booktitle = {{IGARSS}},
pages = {777--780},
publisher = {{IEEE}},
year = {2004}
}
@inproceedings{DBLP:conf/igarss/TannerWKLDPRRGM04,
author = {Alan B. Tanner and
William J. Wilson and
Pekka Kangaslahti and
Bjorn H. Lambrigsten and
Steve J. Dinardo and
Jeffrey R. Piepmeier and
Christopher S. Ruf and
Steven A. Rogacki and
Steven M. Gross and
Stephen B. Musko},
title = {Prototype development of a geostationary synthetic thinned aperture
radiometer, GeoSTAR},
booktitle = {{IGARSS}},
pages = {1256--1259},
publisher = {{IEEE}},
year = {2004}
}
@inproceedings{DBLP:conf/igarss/WilsonTLDPR04,
author = {William J. Wilson and
Alan B. Tanner and
Bjorn Lambrigtsen and
Terence Doiron and
Jeffrey R. Piepmeier and
Christopher S. Ruf},
title = {{STAR} concept for passive microwave temperature sounding from middle
earth orbit (MeoSTAR)},
booktitle = {{IGARSS}},
pages = {789--790},
publisher = {{IEEE}},
year = {2004}
}
@inproceedings{DBLP:conf/itc/TaylorNCNLSHHB04,
author = {Karen Taylor and
Bryan Nelson and
Alan Chong and
Hieu Nguyen and
Henry C. Lin and
Mani Soma and
Hosam Haggag and
Jeff Huard and
Jim Braatz},
title = {Experimental Results for High-Speed Jitter Measurement Technique},
booktitle = {{ITC}},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@article{DBLP:journals/alife/GumermanSDE03,
author = {George J. Gumerman and
Alan C. Swedlund and
Jeffrey S. Dean and
Joshua M. Epstein},
title = {The Evolution of Social Behavior in the Prehistoric American Southwest},
journal = {Artif. Life},
volume = {9},
number = {4},
pages = {435--444},
year = {2003}
}
@article{DBLP:journals/dm/DinitzLL03,
author = {Jeffrey H. Dinitz and
Esther R. Lamken and
Alan C. H. Ling},
title = {Complementary partial resolution squares for Steiner triple systems},
journal = {Discret. Math.},
volume = {261},
number = {1-3},
pages = {243--254},
year = {2003}
}
@article{DBLP:journals/jcs/GordonJ03,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Authenticity by Typing for Security Protocols},
journal = {J. Comput. Secur.},
volume = {11},
number = {4},
pages = {451--520},
year = {2003}
}
@article{DBLP:journals/jct/DinitzDL03,
author = {Jeffrey H. Dinitz and
Peter Dukes and
Alan C. H. Ling},
title = {Sets of three pairwise orthogonal Steiner triple systems},
journal = {J. Comb. Theory {A}},
volume = {101},
number = {1},
pages = {90--116},
year = {2003}
}
@article{DBLP:journals/tcs/GordonJ03,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Typing correspondence assertions for communication protocols},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {379--409},
year = {2003}
}
@inproceedings{DBLP:conf/cicc/DrakeNNBB03,
author = {Alan J. Drake and
Kevin J. Nowka and
Tuyet Nguyen and
Jeffrey L. Bums and
Richard B. Brown},
title = {Resonant clocking using distributed parasitic capacitance},
booktitle = {{CICC}},
pages = {647--650},
publisher = {{IEEE}},
year = {2003}
}
@inproceedings{DBLP:conf/coco/NashIR03,
author = {Alan Nash and
Russell Impagliazzo and
Jeffrey B. Remmel},
title = {Universal Languages and the Power of Diagonalization},
booktitle = {{CCC}},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2003}
}
@inproceedings{DBLP:conf/drcn/BeshaiFG03,
author = {Maged Beshai and
Jeffrey Fitchett and
Alan Graves},
title = {Structures of high-capacity reliable telecommunication networks},
booktitle = {{DRCN}},
pages = {272--281},
publisher = {{IEEE}},
year = {2003}
}
@inproceedings{DBLP:conf/ecoop/JagadeesanJR03,
author = {Radha Jagadeesan and
Alan Jeffrey and
James Riely},
title = {A Calculus of Untyped Aspect-Oriented Programs},
booktitle = {{ECOOP}},
series = {Lecture Notes in Computer Science},
volume = {2743},
pages = {54--73},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/huc/HeerNBH03,
author = {Jeffrey Heer and
Alan Newberger and
Chris Beckmann and
Jason I. Hong},
title = {liquid: Context-Aware Distributed Queries},
booktitle = {UbiComp},
series = {Lecture Notes in Computer Science},
volume = {2864},
pages = {140--148},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/itc/LinTCCSHHB03,
author = {Henry C. Lin and
Karen Taylor and
Alan Chong and
Eddie Chan and
Mani Soma and
Hosam Haggag and
Jeff Huard and
Jim Braatz},
title = {{CMOS} Built-In Test Architecture for High-Speed Jitter Measurement},
booktitle = {{ITC}},
pages = {67--76},
publisher = {{IEEE} Computer Society},
year = {2003}
}
@inproceedings{DBLP:conf/mfps/JeffreyR03,
author = {Alan Jeffrey and
Julian Rathke},
title = {Contextual Equivalence for Higher-Order {\(\pi\)}-Calculus Revisited},
booktitle = {{MFPS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {83},
pages = {149--168},
publisher = {Elsevier},
year = {2003}
}
@inproceedings{DBLP:conf/vldb/HalversonBKKRTVWND03,
author = {Alan Halverson and
Josef Burger and
Leonidas Galanis and
Ameet Kini and
Rajasekar Krishnamurthy and
Ajith Nagaraja Rao and
Feng Tian and
Stratis Viglas and
Yuan Wang and
Jeffrey F. Naughton and
David J. DeWitt},
title = {Mixed Mode {XML} Query Processing},
booktitle = {{VLDB}},
pages = {225--236},
publisher = {Morgan Kaufmann},
year = {2003}
}
@incollection{DBLP:books/tf/03/TuzaGPTBWK03,
author = {Zsolt Tuza and
Gregory Z. Gutin and
Michael Plurnmer and
Alan Tucker and
Edmund Kieran Burke and
Dominique de Werra and
Jeffrey H. Kingston},
title = {Colorings and Related Topics},
booktitle = {Handbook of Graph Theory},
series = {Discrete Mathematics and Its Applications},
pages = {340--483},
publisher = {Chapman {\&} Hall / Taylor {\&} Francis},
year = {2003}
}
@article{DBLP:journals/dsp/SongDL02,
author = {Xiangyu Song and
Jeffrey C. Dill and
Alan R. Lindsey},
title = {Bounds on the Minimum Distance of High Dimensional Circular Trellis-Coded
Modulation},
journal = {Digit. Signal Process.},
volume = {12},
number = {2-3},
pages = {252--261},
year = {2002}
}
@article{DBLP:journals/jair/FernGS02,
author = {Alan Fern and
Robert Givan and
Jeffrey Mark Siskind},
title = {Specific-to-General Learning for Temporal Events with Application
to Learning Event Definitions from Video},
journal = {J. Artif. Intell. Res.},
volume = {17},
pages = {379--449},
year = {2002}
}
@article{DBLP:journals/tbe/FeivesonMP02,
author = {Alan H. Feiveson and
E. Jeffrey Metter and
William H. Paloski},
title = {A statistical model for interpreting computerized dynamic posturography
data},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {49},
number = {4},
pages = {300--309},
year = {2002}
}
@article{DBLP:journals/technometrics/AnkenmanLKP02,
author = {Bruce E. Ankenman and
Hui Liu and
Alan F. Karr and
Jeffrey D. Picka},
title = {A Class of Experimental Designs for Estimating a Response Surface
and Variance Components},
journal = {Technometrics},
volume = {44},
number = {1},
pages = {45--54},
year = {2002}
}
@inproceedings{DBLP:conf/aaai/FernGS02,
author = {Alan Fern and
Robert Givan and
Jeffrey Mark Siskind},
title = {Specific-to-General Learning for Temporal Events},
booktitle = {{AAAI/IAAI}},
pages = {152--158},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002}
}
@inproceedings{DBLP:conf/aaai/FernSG02,
author = {Alan Fern and
Jeffrey Mark Siskind and
Robert Givan},
title = {Learning Temporal, Relational, Force-Dynamic Event Definitions from
Video},
booktitle = {{AAAI/IAAI}},
pages = {159--166},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002}
}
@inproceedings{DBLP:conf/amia/WeinfeldZ02,
author = {Jeffrey M. Weinfeld and
Alan Zuckerman},
title = {A Palm {OS} Peripheral Brain Program for Use by Clinicians},
booktitle = {{AMIA}},
publisher = {{AMIA}},
year = {2002}
}
@inproceedings{DBLP:conf/csfw/GordonJ02,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Types and Effects for Asymmetric Cryptographic Protocols},
booktitle = {{CSFW}},
pages = {77--91},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@inproceedings{DBLP:conf/igarss/SchaafS0LJLZTML02,
author = {Crystal Barker Schaaf and
Alan H. Strahler and
Feng Gao and
Wolfgang Lucht and
Yufang Jin and
Xiaowen Li and
Xiaoyang Zhang and
Elena Tsvetsinskaya and
Jan{-}Peter Muller and
Philip Lewis and
Michael J. Barnsley and
Gareth Roberts and
Christopher Doll and
Shunlin Liang and
David P. Roy and
Jeffrey L. Privette},
title = {Global albedo, {BRDF} and nadir BRDF-adjusted reflectance products
from {MODIS}},
booktitle = {{IGARSS}},
pages = {1188--1190},
publisher = {{IEEE}},
year = {2002}
}
@inproceedings{DBLP:conf/ishpc/RothmanS02,
author = {Jeffrey B. Rothman and
Alan Jay Smith},
title = {Minerva: An Adaptive Subblock Coherence Protocol for Improved {SMP}
Performance},
booktitle = {{ISHPC}},
series = {Lecture Notes in Computer Science},
volume = {2327},
pages = {64--77},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/isss2/GordonJ02,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Typing One-to-One and One-to-Many Correspondences in Security Protocols},
booktitle = {{ISSS}},
series = {Lecture Notes in Computer Science},
volume = {2609},
pages = {263--282},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/lics/JeffreyR02,
author = {Alan Jeffrey and
Julian Rathke},
title = {A Fully Abstract May Testing Semantics for Concurrent Objects},
booktitle = {{LICS}},
pages = {101--112},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@inproceedings{DBLP:conf/sc/AdigaAA02,
author = {Narasimha R. Adiga and
George Alm{\'{a}}si and
George S. Alm{\'{a}}si and
Yariv Aridor and
Rajkishore Barik and
Daniel K. Beece and
Ralph Bellofatto and
Gyan Bhanot and
Randy Bickford and
Matthias A. Blumrich and
Arthur A. Bright and
Jos{\'{e}} R. Brunheroto and
Calin Cascaval and
Jos{\'{e}} G. Casta{\~{n}}os and
Waiman Chan and
Luis Ceze and
Paul Coteus and
Siddhartha Chatterjee and
Dong Chen and
George L.{-}T. Chiu and
Thomas M. Cipolla and
Paul Crumley and
K. M. Desai and
Alina Deutsch and
Tamar Domany and
Marc Boris Dombrowa and
Wilm E. Donath and
Maria Eleftheriou and
C. Christopher Erway and
J. Esch and
Blake G. Fitch and
Joseph Gagliano and
Alan Gara and
Rahul Garg and
Robert S. Germain and
Mark Giampapa and
Balaji Gopalsamy and
John A. Gunnels and
Manish Gupta and
Fred G. Gustavson and
Shawn Hall and
Ruud A. Haring and
David F. Heidel and
Philip Heidelberger and
Lorraine Herger and
Dirk Hoenicke and
R. D. Jackson and
T. Jamal{-}Eddine and
Gerard V. Kopcsay and
Elie Krevat and
Manish P. Kurhekar and
Alphonso P. Lanzetta and
Derek Lieber and
L. K. Liu and
M. Lu and
Mark P. Mendell and
A. Misra and
Yosef Moatti and
Lawrence S. Mok and
Jos{\'{e}} E. Moreira and
Ben J. Nathanson and
Matthew Newton and
Martin Ohmacht and
Adam J. Oliner and
Vinayaka Pandit and
R. B. Pudota and
Rick A. Rand and
Richard D. Regan and
Bradley Rubin and
Albert E. Ruehli and
Silvius Vasile Rus and
Ramendra K. Sahoo and
Alda Sanomiya and
Eugen Schenfeld and
M. Sharma and
Edi Shmueli and
Sarabjeet Singh and
Peilin Song and
Vijay Srinivasan and
Burkhard D. Steinmacher{-}Burow and
Karin Strauss and
Christopher W. Surovic and
Richard A. Swetz and
Todd Takken and
R. Brett Tremaine and
Mickey Tsao and
Arun R. Umamaheshwaran and
P. Verma and
Pavlos Vranas and
T. J. Christopher Ward and
Michael E. Wazlowski and
W. Barrett and
C. Engel and
B. Drehmel and
B. Hilgart and
D. Hill and
F. Kasemkhani and
David J. Krolak and
Chun{-}Tao Li and
Thomas A. Liebsch and
James A. Marcella and
A. Muff and
A. Okomo and
M. Rouse and
A. Schram and
M. Tubbs and
G. Ulsh and
Charles D. Wait and
J. Wittrup and
Myung Bae and
Kenneth A. Dockser and
Lynn Kissel and
Mark K. Seager and
Jeffrey S. Vetter and
K. Yates},
title = {An overview of the BlueGene/L Supercomputer},
booktitle = {{SC}},
pages = {7:1--7:22},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@article{DBLP:journals/cn/WakemanJOP01,
author = {Ian Wakeman and
Alan Jeffrey and
Tim Owen and
Damyan Pepper},
title = {SafetyNet: {A} language-based approach to programmable networks},
journal = {Comput. Networks},
volume = {36},
number = {1},
pages = {101--114},
year = {2001}
}
@article{DBLP:journals/dlib/SulemanAGFFCCY01,
author = {Hussein Suleman and
Anthony Atkins and
Marcos Andr{\'{e}} Gon{\c{c}}alves and
Robert K. France and
Edward A. Fox and
Vinod Chachra and
Murray Crowder and
Jeffrey Young},
title = {Networked Digital Library of Theses and Dissertations: Bridging the
Gaps for Global Access - Part 1: Mission and Progress},
journal = {D Lib Mag.},
volume = {7},
number = {9},
year = {2001}
}
@article{DBLP:journals/dlib/SulemanAGFFCCY01a,
author = {Hussein Suleman and
Anthony Atkins and
Marcos Andr{\'{e}} Gon{\c{c}}alves and
Robert K. France and
Edward A. Fox and
Vinod Chachra and
Murray Crowder and
Jeffrey Young},
title = {Networked Digital Library of Theses and Dissertations: Bridging the
Gaps for Global Access - Part 2: Services and Research},
journal = {D Lib Mag.},
volume = {7},
number = {9},
year = {2001}
}
@article{DBLP:journals/dm/DinitzL01,
author = {Jeffrey H. Dinitz and
Alan C. H. Ling},
title = {The existence of referee squares},
journal = {Discret. Math.},
volume = {232},
number = {1-3},
pages = {109--112},
year = {2001}
}
@article{DBLP:journals/dsp/AlderDL01,
author = {Frank A. Alder and
Jeffrey C. Dill and
Alan R. Lindsey},
title = {Performance of Simplex Signaling in Circular Trellis-Coded Modulation},
journal = {Digit. Signal Process.},
volume = {11},
number = {2},
pages = {159--167},
year = {2001}
}
@article{DBLP:journals/envsoft/JeffreyCMB01,
author = {Stephen J. Jeffrey and
John O. Carter and
Keith B. Moodie and
Alan R. Beswick},
title = {Using spatial interpolation to construct a comprehensive archive of
Australian climate data},
journal = {Environ. Model. Softw.},
volume = {16},
number = {4},
pages = {309--330},
year = {2001}
}
@inproceedings{DBLP:conf/csfw/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Authenticity by Typing for Security Protocols},
booktitle = {{CSFW}},
pages = {145--159},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/icalt/SlatorCJMSSW01,
author = {Brian M. Slator and
Jeffrey T. Clark and
Paul Juell and
Philip E. McClean and
Bernhardt Saini{-}Eidukat and
Donald P. Schwert and
Alan R. White},
title = {Research on Role-Based Learning Technologies},
booktitle = {{ICALT}},
pages = {37--40},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/lics/Jeffrey01,
author = {Alan Jeffrey},
title = {A Symbolic Labelled Transition System for Coinductive Subtyping of
\emph{F\({}_{\mbox{{\(\mathrm{\mu}\)}{\textless}}}\)} Types},
booktitle = {{LICS}},
pages = {323--333},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/sas/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {A Type and Effect Analysis of Security Protocols},
booktitle = {{SAS}},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {432--432},
publisher = {Springer},
year = {2001}
}
@inproceedings{DBLP:conf/usenix/BadrosNB01,
author = {Greg J. Badros and
Jeffrey Nichols and
Alan Borning},
title = {Scwm: An Extensible Constraint-Enabled Window Manager},
booktitle = {{USENIX} ATC, {FREENIX} Track},
pages = {225--234},
publisher = {{USENIX}},
year = {2001}
}
@inproceedings{DBLP:journals/entcs/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Typing Correspondence Assertions for Communication Protocols},
booktitle = {{MFPS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
pages = {119--140},
publisher = {Elsevier},
year = {2001}
}
@article{DBLP:journals/csedu/KayBFGHKC00,
author = {Judy Kay and
Michael Barg and
Alan D. Fekete and
Tony Greening and
Owen Hollands and
Jeffrey H. Kingston and
Kate Crawford},
title = {Problem-Based Learning for Foundation Computer Science Courses},
journal = {Comput. Sci. Educ.},
volume = {10},
number = {2},
pages = {109--128},
year = {2000}
}
@article{DBLP:journals/ijhpca/KurcUEHSS00,
author = {Tahsin M. Kur{\c{c}} and
Mustafa Uysal and
Hyeonsang Eom and
Jeffrey K. Hollingsworth and
Joel H. Saltz and
Alan Sussman},
title = {Efficient Performance Prediction for Large-Scale, Data-Intensive Applications},
journal = {Int. J. High Perform. Comput. Appl.},
volume = {14},
number = {3},
pages = {216--227},
year = {2000}
}
@inproceedings{DBLP:conf/birthday/FerreiraHJ00,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
title = {Combining the typed lambda-calculus with {CCS}},
booktitle = {Proof, Language, and Interaction},
pages = {511--534},
publisher = {The {MIT} Press},
year = {2000}
}
@inproceedings{DBLP:conf/iccd/RothmanS00,
author = {Jeffrey B. Rothman and
Alan Jay Smith},
title = {Analysis of Shared Memory Misses and Reference Patterns},
booktitle = {{ICCD}},
pages = {187--198},
publisher = {{IEEE} Computer Society},
year = {2000}
}
@inproceedings{DBLP:conf/lics/JeffreyR00,
author = {Alan Jeffrey and
Julian Rathke},
title = {A Theory of Bisimulation for a Fragment of Concurrent {ML} with Local
Names},
booktitle = {{LICS}},
pages = {311--321},
publisher = {{IEEE} Computer Society},
year = {2000}
}
@inproceedings{DBLP:conf/mascots/RothmanS00,
author = {Jeffrey B. Rothman and
Alan Jay Smith},
title = {Sector Cache Design and Performance},
booktitle = {{MASCOTS}},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2000}
}
@inproceedings{DBLP:conf/sigcse/FeketeKKW00,
author = {Alan D. Fekete and
Judy Kay and
Jeffrey H. Kingston and
Kapila Wimalaratne},
title = {Supporting reflection in introductory computer science},
booktitle = {{SIGCSE}},
pages = {144--148},
publisher = {{ACM}},
year = {2000}
}
@inproceedings{DBLP:journals/entcs/Jeffrey00,
author = {Alan Jeffrey},
title = {Preface},
booktitle = {{HOOTS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {89},
publisher = {Elsevier},
year = {2000}
}
@proceedings{DBLP:conf/hoots/2000,
editor = {Alan Jeffrey},
title = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
publisher = {Elsevier},
year = {2000}
}
@article{DBLP:journals/tcs/Jeffrey99,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for a Higher-Order Functional Language
with Nondeterministic Computation},
journal = {Theor. Comput. Sci.},
volume = {228},
number = {1-2},
pages = {105--150},
year = {1999}
}
@article{DBLP:journals/tkde/TsaiLJS99,
author = {Jeffrey J. P. Tsai and
Alan Liu and
Eric Y. T. Juan and
Avinash Sahay},
title = {Knowledge-Based Software Architectures: Acquisition, Specification,
and Verification},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {11},
number = {1},
pages = {187--201},
year = {1999}
}
@inproceedings{DBLP:conf/ics/RothmanS99,
author = {Jeffrey B. Rothman and
Alan Jay Smith},
title = {The pool of subsectors cache design},
booktitle = {International Conference on Supercomputing},
pages = {31--42},
publisher = {{ACM}},
year = {1999}
}
@inproceedings{DBLP:conf/ipmi/BullittALSMCGP99,
author = {Elizabeth Bullitt and
Stephen R. Aylward and
Alan Liu and
Jeffrey Stone and
Suresh K. Mukherji and
Chris Coffey and
Guido Gerig and
Stephen M. Pizer},
title = {3D Graph Description of the Intracerebral Vasculature from Segmented
{MRA} and Tests of Accuracy by Comparison with X-ray Angiograms},
booktitle = {{IPMI}},
series = {Lecture Notes in Computer Science},
volume = {1613},
pages = {308--321},
publisher = {Springer},
year = {1999}
}
@inproceedings{DBLP:conf/lics/JeffreyR99,
author = {Alan Jeffrey and
Julian Rathke},
title = {Towards a Theory of Bisimulation for Local Names},
booktitle = {{LICS}},
pages = {56--66},
publisher = {{IEEE} Computer Society},
year = {1999}
}
@inproceedings{DBLP:conf/mascots/RothmanS99,
author = {Jeffrey B. Rothman and
Alan Jay Smith},
title = {Multiprocessor Memory Reference Generation Using Cerberus},
booktitle = {{MASCOTS}},
pages = {278--287},
publisher = {{IEEE} Computer Society},
year = {1999}
}
@inproceedings{DBLP:journals/entcs/SchweimeierJ99,
author = {Ralf Schweimeier and
Alan Jeffrey},
title = {A Categorical and Graphical Treatment of Closure Conversion},
booktitle = {{MFPS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
pages = {481--511},
publisher = {Elsevier},
year = {1999}
}
@article{DBLP:journals/jfp/FerreiraHJ98,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
title = {A Theory of Weak Bisimulation for Core {CML}},
journal = {J. Funct. Program.},
volume = {8},
number = {5},
pages = {447--491},
year = {1998}
}
@article{DBLP:journals/tgrs/JusticeVTDRHSPRSLMKRNWHLWGMLB98,
author = {Christopher Justice and
Eric F. Vermote and
John R. Townshend and
Ruth S. DeFries and
David P. Roy and
Dorothy K. Hall and
Vincent V. Salomonson and
Jeffrey L. Privette and
George A. Riggs and
Alan H. Strahler and
Wolfgang Lucht and
Ranga B. Myneni and
Yuri Knyazikhin and
Steven W. Running and
Ramakrishna R. Nemani and
Zhengming Wan and
Alfredo R. Huete and
Wim van Leeuwen and
Robert E. Wolfe and
Louis Giglio and
Jan{-}Peter Muller and
Philip Lewis and
Michael J. Barnsley},
title = {The Moderate Resolution Imaging Spectroradiometer {(MODIS):} land
remote sensing for global change research},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {36},
number = {4},
pages = {1228--1249},
year = {1998}
}
@article{DBLP:journals/tsp/VerboutJLO98,
author = {Shawn M. Verbout and
James M. Ooi and
Jeffrey T. Ludwig and
Alan V. Oppenheim},
title = {Parameter estimation for autoregressive Gaussian-mixture processes:
the {EMAX} algorithm},
journal = {{IEEE} Trans. Signal Process.},
volume = {46},
number = {10},
pages = {2744--2756},
year = {1998}
}
@inproceedings{DBLP:conf/acse/FeketeGK98,
author = {Alan D. Fekete and
Tony Greening and
Jeffrey H. Kingston},
title = {Conveying technical content in a curriculum using problem based learning},
booktitle = {{ACSE}},
series = {{ACM} International Conference Proceeding Series},
volume = {3},
pages = {198--202},
publisher = {{ACM}},
year = {1998}
}
@inproceedings{DBLP:conf/rtss/MinkSHA98,
author = {Alan Mink and
Wayne Salamon and
Jeffrey K. Hollingsworth and
Ramu Arunachalam},
title = {Performance Measurement Using Low Perturbation and High Precision
Hardware Assists},
booktitle = {{RTSS}},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {1998}
}
@article{DBLP:journals/ieeecc/JellyGBDFPGKSS97,
author = {Innes Jelly and
Ian Gorton and
Helmar Burkhart and
Karsten M. Decker and
Alan D. Fekete and
John M. Potter and
Hassan Gomaa and
Jeffrey Kramer and
Douglas C. Schmidt and
John A. Stankovic},
title = {Software engineering for parallel and distributed systems},
journal = {{IEEE} Concurrency},
volume = {5},
number = {3},
pages = {16--27},
year = {1997}
}
@article{DBLP:journals/itp/XiaoSD97,
author = {Zezhong Xiao and
Alan Sangster and
Jeffrey H. Dodgson},
title = {The relationship between information technology and corporate financial
reporting},
journal = {Inf. Technol. People},
volume = {10},
number = {1},
pages = {11--30},
year = {1997}
}
@article{DBLP:journals/vlsisp/NawabOCWL97,
author = {S. Hamid Nawab and
Alan V. Oppenheim and
Anantha P. Chandrakasan and
Joseph M. Winograd and
Jeffrey T. Ludwig},
title = {Approximate Signal Processing},
journal = {J. {VLSI} Signal Process.},
volume = {15},
number = {1-2},
pages = {177--200},
year = {1997}
}
@inproceedings{DBLP:conf/icassp/SharifNTHA97,
author = {Bayan S. Sharif and
Jeffrey A. Neasham and
David Thompson and
Oliver R. Hinton and
Alan E. Adams},
title = {A blind multichannel combiner for long range underwater communications},
booktitle = {{ICASSP}},
pages = {579--582},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/icassp/VerboutOLO97,
author = {Shawn M. Verbout and
James M. Ooi and
Jeffrey T. Ludwig and
Alan V. Oppenheim},
title = {Parameter estimation for autoregressive Gaussian-mixture processes:
the {EMAX} algorithm},
booktitle = {{ICASSP}},
pages = {3549--3552},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:journals/entcs/Jeffrey97,
author = {Alan Jeffrey},
title = {Premonoidal categories and flow graphs},
booktitle = {{HOOTS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {51},
publisher = {Elsevier},
year = {1997}
}
@article{DBLP:journals/candc/StojanovicGBA96,
author = {R. S. Stojanovic and
Howard B. Greenhill and
Alan M. Bond and
Jeffrey E. Anderson},
title = {Versatile Computer-based Instrumentation for the Application of Three-dimensional
Voltammetry},
journal = {Comput. Chem.},
volume = {20},
number = {2},
pages = {209--218},
year = {1996}
}
@article{DBLP:journals/ijait/LiuT96,
author = {Alan Liu and
Jeffrey J. P. Tsai},
title = {A Method for Requirements Analysis and Knowledge Elicitation},
journal = {Int. J. Artif. Intell. Tools},
volume = {5},
number = {1-2},
pages = {167--184},
year = {1996}
}
@inproceedings{DBLP:conf/icfp/FerreiraHJ96,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
title = {A Theory of Weak Bisimulation for Core {CML}},
booktitle = {{ICFP}},
pages = {201--212},
publisher = {{ACM}},
year = {1996}
}
@inproceedings{DBLP:conf/iopads/AcharyaUBMBHSS96,
author = {Anurag Acharya and
Mustafa Uysal and
Robert Bennett and
Assaf Mendelson and
Michael D. Beynon and
Jeffrey K. Hollingsworth and
Joel H. Saltz and
Alan Sussman},
title = {Tuning the Performance of I/O-Intensive Parallel Applications},
booktitle = {{IOPADS}},
pages = {15--27},
publisher = {{ACM}},
year = {1996}
}
@inproceedings{DBLP:conf/mascots/GeeS96,
author = {Jeffrey D. Gee and
Alan Jay Smith},
title = {Evaluation of Cache Consistency Algorithm Performance},
booktitle = {{MASCOTS}},
pages = {236--248},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@book{DBLP:books/daglib/0080893,
author = {Alan Jeffrey},
title = {Handbook of mathematical formulas and integrals},
publisher = {Academic Press},
year = {1995}
}
@article{DBLP:journals/tcs/AcetoJ95,
author = {Luca Aceto and
Alan Jeffrey},
title = {A Complete Axiomatization of Timed Bisimulation for a Class of Timed
Regular Behaviours},
journal = {Theor. Comput. Sci.},
volume = {152},
number = {2},
pages = {251--268},
year = {1995}
}
@inproceedings{DBLP:conf/adl/ChoyDDLMPABBGHMMPP95,
author = {David M. Choy and
Richard Dievendorff and
Cynthia Dwork and
Jeffrey B. Lotspiech and
Robert J. T. Morris and
Norman J. Pass and
Laura C. Anderson and
Alan E. Bell and
Stephen K. Boyer and
Thomas D. Griffin and
Bruce A. Hoenig and
James M. McCrossin and
Alex M. Miller and
Florian Pestoni and
Deidra S. Picciano},
title = {The Almaden Distributed Digital Library System},
booktitle = {{ADL}},
series = {Lecture Notes in Computer Science},
volume = {1082},
pages = {203--220},
publisher = {Springer},
year = {1995}
}
@inproceedings{DBLP:conf/ictai/LiuT95,
author = {Alan Liu and
Jeffrey J. P. Tsai},
title = {A knowledge-based approach to requirements analysis},
booktitle = {{ICTAI}},
pages = {26--33},
publisher = {{IEEE} Computer Society},
year = {1995}
}
@inproceedings{DBLP:conf/lics/Jeffrey95,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for a Concurrent Functional Language with
Monadic Types},
booktitle = {{LICS}},
pages = {255--264},
publisher = {{IEEE} Computer Society},
year = {1995}
}
@inproceedings{DBLP:journals/entcs/Jeffrey95,
author = {Alan Jeffrey},
title = {A fully abstract semantics for a nondeterministic functional language
with monadic types},
booktitle = {{MFPS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {290--301},
publisher = {Elsevier},
year = {1995}
}
@article{DBLP:journals/ijseke/TsaiLN94,
author = {Jeffrey J. P. Tsai and
Alan Liu and
Krishnakumar R. Nair},
title = {Debugging Logic-Based Requirements Specifications for Safety-Critical
Systems - a {FRORL} Approach},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {4},
number = {2},
pages = {205--228},
year = {1994}
}
@inproceedings{DBLP:conf/compsac/TsaiLL94,
author = {Jeffrey J. P. Tsai and
Bing Li and
Alan Liu},
title = {Modeling and parallel evaluation of non-functional requirements using
{FRORL} requirements language},
booktitle = {{COMPSAC}},
pages = {11--16},
publisher = {{IEEE}},
year = {1994}
}
@inproceedings{DBLP:conf/iccd/GeeS94,
author = {Jeffrey D. Gee and
Alan Jay Smith},
title = {Analysis of Multiprocessor Memory Refernce Behavior},
booktitle = {{ICCD}},
pages = {53--59},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@inproceedings{DBLP:conf/ics/GeeS94,
author = {Jeffrey D. Gee and
Alan Jay Smith},
title = {The effectiveness of caches for vector processors},
booktitle = {International Conference on Supercomputing},
pages = {333--343},
publisher = {{ACM}},
year = {1994}
}
@inproceedings{DBLP:conf/lfcs/BrownJ94,
author = {Carolyn Brown and
Alan Jeffrey},
title = {Allegories of Circuits},
booktitle = {{LFCS}},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {56--68},
publisher = {Springer},
year = {1994}
}
@inproceedings{DBLP:conf/lics/Jeffrey94,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for Concurrent Graph Reduction},
booktitle = {{LICS}},
pages = {82--91},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@inproceedings{DBLP:conf/sc/IyerBRT94,
author = {Sridhar V. Iyer and
Alan Beck and
Umberto Ravaioli and
Jeffrey A. Terstriep},
title = {Distributed exploratorium for high performance computational techniques},
booktitle = {{SC}},
pages = {117--125},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@article{DBLP:journals/micro/GeeHPS93,
author = {Jeffrey D. Gee and
Mark D. Hill and
Dionisios N. Pnevmatikatos and
Alan Jay Smith},
title = {Cache performance of the {SPEC92} benchmark suite},
journal = {{IEEE} Micro},
volume = {13},
number = {4},
pages = {17--27},
year = {1993}
}
@inproceedings{DBLP:conf/mfps/Jeffrey93,
author = {Alan Jeffrey},
title = {A Chemical Abstract Machine for Graph Reduction},
booktitle = {{MFPS}},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {293--303},
publisher = {Springer},
year = {1993}
}
@inproceedings{DBLP:conf/seke/TsaiLN93,
author = {Jeffrey J. P. Tsai and
Alan Liu and
Krishnakumar R. Nair},
title = {Debugging Logic-Based Requirements Specifications - a {FRORL} Approach},
booktitle = {{SEKE}},
pages = {372--379},
publisher = {Knowledge Systems Institute},
year = {1993}
}
@phdthesis{DBLP:phd/ndltd/Colborn92,
author = {Jeffrey Alan Colborn},
title = {Current-drive and plasma-formation experiments on the Versator-II
tokamak using lower-hybrid and electron-cyclotron waves},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {1992}
}
@article{DBLP:journals/aai/TsaiCL92,
author = {Jeffrey J. P. Tsai and
Owen S. Chan and
Alan Liu},
title = {Intelligent syntax-directed editor that models user proficiency},
journal = {Appl. Artif. Intell.},
volume = {6},
number = {2},
pages = {166--194},
year = {1992}
}
@article{DBLP:journals/simulation/CharkesSMHB92,
author = {N. David Charkes and
Jeffrey A. Siegel and
Alan H. Maurer and
Christopher Hansen and
Alfred A. Bove},
title = {A multicompartmental model which simulates the Thallium-201 exercise
stress test},
journal = {Simul.},
volume = {59},
number = {1},
pages = {7--12},
year = {1992}
}
@inproceedings{DBLP:conf/ftrtft/Jeffrey92,
author = {Alan Jeffrey},
title = {Translating Timed Process Algebra into Prioritized Process Algebra},
booktitle = {{FTRTFT}},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {493--506},
publisher = {Springer},
year = {1992}
}
@inproceedings{DBLP:conf/ifip10-2/CoppolaPAFP92,
author = {Alan J. Coppola and
Marek A. Perkowski and
Robert Anderson and
Jeffrey S. Freedman and
Edmund Pierzchala},
title = {Tokenized State Machine Model for Synthesis of Sequential Circuits
into EPLDs and FPGAs},
booktitle = {Synthesis for Control Dominated Circuits},
series = {{IFIP} Transactions},
volume = {{A-22}},
pages = {33--46},
publisher = {North-Holland},
year = {1992}
}
@article{DBLP:journals/dm/FishburnLRS91,
author = {Peter C. Fishburn and
J. C. Lagarias and
James A. Reeds and
Larry A. Shepp},
title = {Sets uniquely determined by projections on axes {II} Discrete case},
journal = {Discret. Math.},
volume = {91},
number = {2},
pages = {149--159},
year = {1991}
}
@inproceedings{DBLP:conf/birthday/NaughtonR91,
author = {Jeffrey F. Naughton and
Raghu Ramakrishnan},
title = {Bottom-Up Evaluation of Logic Programs},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
pages = {640--700},
publisher = {The {MIT} Press},
year = {1991}
}
@inproceedings{DBLP:conf/cav/Jeffrey91,
author = {Alan Jeffrey},
title = {A Linear Time Process Algebra},
booktitle = {{CAV}},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {432--442},
publisher = {Springer},
year = {1991}
}
@inproceedings{DBLP:conf/concur/Jeffrey91,
author = {Alan Jeffrey},
title = {Abstract Timed Observation and Process Algebra},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {332--345},
publisher = {Springer},
year = {1991}
}
@article{DBLP:journals/mam/DicksonLPM90,
author = {Jeffrey A. Dickson and
Bing Liu and
Alan W. Ptak and
Robert D. McLeod},
title = {Reprogrammable gate arrays for hardware accelerated {IC} design verification},
journal = {Microprocess. Microsystems},
volume = {14},
number = {5},
pages = {291--296},
year = {1990}
}
@article{DBLP:journals/kbs/TsaiL89,
author = {Jeffrey J. P. Tsai and
Alan Liu},
title = {Knowledge-based system for rapid prototyping},
journal = {Knowl. Based Syst.},
volume = {2},
number = {4},
pages = {239--248},
year = {1989}
}
@inproceedings{DBLP:conf/ictai/TsaiTL89,
author = {Jeffrey J. P. Tsai and
Shun{-}Tzu Tsai and
Alan Liu},
title = {A frame and rule based system to support software development using
an integrated software engineering paradigm},
booktitle = {{TAI}},
pages = {282--289},
publisher = {{IEEE} Computer Society},
year = {1989}
}
@inproceedings{DBLP:conf/naacl/SchwartzBCDFKKM89,
author = {Richard M. Schwartz and
Chris Barry and
Yen{-}Lu Chow and
Alan Deft and
Ming{-}Whei Feng and
Owen Kimball and
Francis Kubala and
John Makhoul and
Jeffrey Vandegrift},
title = {The {BBN} {BYBLOS} Continuous Speech Recognition System},
booktitle = {{HLT} {(1)}},
publisher = {{ACL}},
year = {1989}
}
@article{DBLP:journals/jcamd/NorthrupLBR88,
author = {Scott H. Northrup and
J. Alan Luton and
Jeffrey O. Boles and
John C. L. Reynolds},
title = {Brownian dynamics simulation of protein association},
journal = {J. Comput. Aided Mol. Des.},
volume = {1},
number = {4},
pages = {291--311},
year = {1988}
}
@article{DBLP:journals/jsyml/ParisWW88,
author = {Jeff B. Paris and
A. J. Wilkie and
Alan R. Woods},
title = {Provability of the Pigeonhole Principle and the Existence of Infinitely
Many Primes},
journal = {J. Symb. Log.},
volume = {53},
number = {4},
pages = {1235--1244},
year = {1988}
}
@article{DBLP:journals/siamcomp/FriezeHKLS88,
author = {Alan M. Frieze and
Johan H{\aa}stad and
Ravi Kannan and
J. C. Lagarias and
Adi Shamir},
title = {Reconstructing Truncated Integer Variables Satisfying Linear Congruences},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {2},
pages = {262--280},
year = {1988}
}
@inproceedings{DBLP:conf/icassp/KubalaCDFKMPRRS88,
author = {Francis Kubala and
Yen{-}Lu Chow and
Alan Derr and
Ming{-}Whei Feng and
Owen Kimball and
John Makhoul and
Patti Price and
Jan Robin Rohlicek and
Salim E. Roucos and
Richard M. Schwartz and
Jeffrey Vandegrift},
title = {Continuous speech recognition results of the {BYBLOS} system on the
{DARPA} 1000-word resource management database},
booktitle = {{ICASSP}},
pages = {291--294},
publisher = {{IEEE}},
year = {1988}
}
@article{DBLP:journals/cn/BaratzJ86,
author = {Alan E. Baratz and
Jeffrey M. Jaffe},
title = {Establishing Virtual Circuits in Large Computer Networks},
journal = {Comput. Networks},
volume = {12},
pages = {27--37},
year = {1986}
}
@article{DBLP:journals/cn/JaffeBS86,
author = {Jeffrey M. Jaffe and
Alan E. Baratz and
Adrian Segall},
title = {Subtle Design Issues in the Implementation of Distributed Dynamic
Routing Algorithms},
journal = {Comput. Networks},
volume = {12},
pages = {147--158},
year = {1986}
}
@article{DBLP:journals/jsac/BaratzGGJP85,
author = {Alan E. Baratz and
James P. Gray and
Paul E. Green Jr. and
Jeffrey M. Jaffe and
Diane Pozefsky},
title = {{SNA} Networks of Small Systems},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {3},
number = {3},
pages = {416--426},
year = {1985}
}
@inproceedings{DBLP:conf/essen/Jeffreys85,
author = {Alan Jeffreys},
title = {First Experiences with Online Public Catalogues, OCLC's LS/2000, at
Newcastle},
booktitle = {Essen Symposium},
series = {Ver{\"{o}}ffentlichungen der Universit{\"{a}}sbibliothek
Essen},
volume = {8},
pages = {277--285},
publisher = {Universit{\"{a}}sbibliothek Essen},
year = {1985}
}
@inproceedings{DBLP:conf/focs/FriezeKL84,
author = {Alan M. Frieze and
Ravi Kannan and
J. C. Lagarias},
title = {Linear Congruential Generators Do Not Produce Random Sequences},
booktitle = {{FOCS}},
pages = {480--484},
publisher = {{IEEE} Computer Society},
year = {1984}
}
@inproceedings{DBLP:conf/infocom/BaratzJ83,
author = {Alan E. Baratz and
Jeffrey M. Jaffe},
title = {Establishing Virtual Circuits in Large Computer Networks},
booktitle = {{INFOCOM}},
pages = {311--318},
publisher = {{IEEE}},
year = {1983}
}
@inproceedings{DBLP:conf/sigcse/MincyTT83,
author = {Jeffrey W. Mincy and
Alan L. Tharp and
Kuo{-}Chung Tai},
title = {Visualizing algorithms and processes with the aid of a computer},
booktitle = {{SIGCSE}},
pages = {106--111},
publisher = {{ACM}},
year = {1983}
}
@article{DBLP:journals/csur/FurutaSS82,
author = {Richard Furuta and
Jeffrey Scofield and
Alan Shaw},
title = {Document Formatting Systems: Survey, Concepts, and Issues},
journal = {{ACM} Comput. Surv.},
volume = {14},
number = {3},
pages = {417--472},
year = {1982}
}
@article{DBLP:journals/pami/SmithT82,
author = {Jeffrey W. Smith and
Alan L. Tharp},
title = {A Microcomputer System for Processing Natural Languages},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {4},
number = {2},
pages = {221--223},
year = {1982}
}
@inproceedings{DBLP:conf/stoc/DolevKSSU81,
author = {Danny Dolev and
Kevin Karplus and
Alan Siegel and
Alex Strong and
Jeffrey D. Ullman},
title = {Optimal Wiring between Rectangles},
booktitle = {{STOC}},
pages = {312--317},
publisher = {{ACM}},
year = {1981}
}
@inproceedings{DBLP:conf/icis/HofferMR80,
author = {Jeffrey A. Hoffer and
Alan G. Merten and
John F. Rockart},
title = {Teaching the Currentor Future General Managers: a Critical Function
for the {MIS} Faculty},
booktitle = {{ICIS}},
pages = {6},
publisher = {Association for Information Systems},
year = {1980}
}
@article{DBLP:journals/siamcomp/JohnsonDUGG74,
author = {David S. Johnson and
Alan J. Demers and
Jeffrey D. Ullman and
M. R. Garey and
Ronald L. Graham},
title = {Worst-Case Performance Bounds for Simple One-Dimensional Packing Algorithms},
journal = {{SIAM} J. Comput.},
volume = {3},
number = {4},
pages = {299--325},
year = {1974}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-17 23:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
