PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperSelf-assembling materials for lithographic patterning: Overview, status and moving forwardWilliam Hinsberg, Joy Cheng, et al.SPIE Advanced Lithography 2010
PaperServing Deep Learning Models with Deduplication from Relational DatabasesLixi Zhou, Jiaqing Chen, et al.VLDB