Subscribe to this collection to receive daily e-mail notification of new additions

	Title	Author(s)	Issue Date
	Castor: Programming with extensible generative visitors Journal:Science of Computer Programming	ZHANG, WDos Santos Oliveira, BCDS	2020
	COCHIS: Stable and coherent implicits Journal:Journal of Functional Programming	Schrijvers, TDos Santos Oliveira, BCWadler, PMarntirosian, K	2019
	Consistent Subtyping for All Journal:ACM Transactions on Programming Languages and Systems	XIE, NBI, XDos Santos Oliveira, BCDSSchrijvers, T	2020
	Unifying typing and subtyping Journal:Proceedings of the ACM on Programming Languages	YANG, YDos Santos Oliveira, BCDS	2017
	KClist++: A Simple Algorithm for Finding k-Clique Densest Subgraphs in Large Graphs Journal:Proceedings of the VLDB Endowment	SUN, BDanisch, MChan, THSozio, M	2020
	Compare and contrast: Detecting mammographic soft-tissue lesions with C2-Net Journal:Medical Image Analysis	Liu, YZhou, CZhang, FZhang, QWang, SZhou, JSheng, FWang, XLiu, WWang, YYu, YLu, G	2021
	ROSA: Robust Salient Object Detection Against Adversarial Attacks Journal:IEEE Transactions on Cybernetics	LI, HLi, GYu, Y	2020
	An Online Algorithm for VNF Service Chain Scaling in Datacenters Journal:IEEE/ACM Transactions on Networking	LUO, ZWu, C	2020
	Neural Style Transfer: A Review Journal:IEEE Transactions on Visualization and Computer Graphics	Jing, YYang, YFeng, ZYe, JYu, YSong, M	2020
	A Nonintrusive Elderly Home Monitoring System Journal:IEEE Internet of Things Journal	FANG, LWu, YWu, CYu, Y	2021
	RENET2: high-performance full-text gene–disease relation extraction with iterative training data expansion Journal:NAR Genomics and Bioinformatics	SU, JWU, YTing, HFLam, TWLuo, R	2021
	MegaPath: sensitive and rapid pathogen detection using metagenomic NGS data Journal:BMC Genomics	Leung, CMLI, DXin, YLaw, WCZhang, YTing, HFLuo, RLam, TW	2020
	Skyhawk: an artificial neural network-based discriminator for reviewing clinically significant genomic variants Journal:International Journal of Computational Biology and Drug Design	Luo, RLam, TWSchatz, MC	2021
	Fixed Viewpoint Mirror Surface Reconstruction Under an Uncalibrated Camera Journal:IEEE Transactions on Image Processing	Han, KLiu, MSchnieders, DWong, KYK	2021
	Drug Repurposing for the Treatment of COVID‐19: A Knowledge Graph Approach Journal:Advanced Therapeutics	Yan, VLi, XYE, XOu, MLuo, RZhang, QTang, BCowling, BJHung, ISiu, CWWong, ICKCheng, RCKChan, EW	2021
	Fashion Retrieval via Graph Reasoning Networks on a Similarity Pyramid Journal:IEEE Transactions on Pattern Analysis and Machine Intelligence	GAO, YKUANG, ZLI, GLuo, PLIN, LZHANG, W	2020
	A dependently typed calculus with polymorphic subtyping Journal:Science of Computer Programming	XUE, MDos Santos Oliveira, BCDS	2021
	PolarMask++: Enhanced Polar Representation for Single-Shot Instance Segmentation and Beyond Journal:IEEE Transactions on Pattern Analysis and Machine Intelligence	XIE, EWANG, WDING, MZHANG, RLuo, P	2021
	Revisiting iso-recursive subtyping Journal:Proceedings of the ACM on Programming Languages	ZHOU, YDos Santos Oliveira, BCDSZHAO, J	2020
	Kind inference for datatypes Journal:Proceedings of the ACM on Programming Languages	XIE, NEisenberg, RADos Santos Oliveira, BCDS	2020