PaperA global spatial similarity optimization scheme to track large numbers of dendritic spines in time-lapse confocal microscopyQing Li, Zhigang Deng, et al.IEEE T-MI
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperFailure diagnosis with incomplete information in cable networksYun Mao, Hani Jamjoom, et al.CoNEXT 2006
PaperGeoTran-HC: Geometric transformation of highly coupled variable topology multi-body problemsSai Zeng, Angran Xiao, et al.CAD Computer Aided Design