{"title":"Deep Compression on Convolutional Neural Network for Artistic Style Transfer","authors":"Jian Hu, Kun He, J. Hopcroft, Yaren Zhang","doi":"10.1007/978-981-10-6893-5_12","DOIUrl":"https://doi.org/10.1007/978-981-10-6893-5_12","url":null,"abstract":"","PeriodicalId":253366,"journal":{"name":"National Conference on Theoretical Computer Science","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130341425","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Transmission Failure Tolerance and Node Punishment Mechanism in Opportunistic Network Based on Repeated-Game","authors":"Bin-an Yin, Zhigang Chen, Jia Wu","doi":"10.1007/978-981-10-6893-5_8","DOIUrl":"https://doi.org/10.1007/978-981-10-6893-5_8","url":null,"abstract":"","PeriodicalId":253366,"journal":{"name":"National Conference on Theoretical Computer Science","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123731736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jiazheng Li, Guozhi Song, Yue Ma, Cheng Wang, Baohui Zhu, Y. Chai, Jieqi Rong
{"title":"Bat Algorithm Based Low Power Mapping Methods for 3D Network-on-Chips","authors":"Jiazheng Li, Guozhi Song, Yue Ma, Cheng Wang, Baohui Zhu, Y. Chai, Jieqi Rong","doi":"10.1007/978-981-10-6893-5_21","DOIUrl":"https://doi.org/10.1007/978-981-10-6893-5_21","url":null,"abstract":"","PeriodicalId":253366,"journal":{"name":"National Conference on Theoretical Computer Science","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115851256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Wei Li, M. Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu
{"title":"Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID","authors":"Wei Li, M. Xiao, Yanan Li, Yingtian Mei, Xiaomei Zhong, Jimin Tu","doi":"10.1007/978-981-10-6893-5_9","DOIUrl":"https://doi.org/10.1007/978-981-10-6893-5_9","url":null,"abstract":"","PeriodicalId":253366,"journal":{"name":"National Conference on Theoretical Computer Science","volume":"250 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133427409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zhengjun Liu, Hui Zhao, Wen Chen, Xiaochun Cao, Haipeng Peng, Jin Yang, Tao Yang, Ping Lin
{"title":"Double-Spending Detection for Fast Bitcoin Payment Based on Artificial Immune","authors":"Zhengjun Liu, Hui Zhao, Wen Chen, Xiaochun Cao, Haipeng Peng, Jin Yang, Tao Yang, Ping Lin","doi":"10.1007/978-981-10-6893-5_10","DOIUrl":"https://doi.org/10.1007/978-981-10-6893-5_10","url":null,"abstract":"","PeriodicalId":253366,"journal":{"name":"National Conference on Theoretical Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129212489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fusion of Global and Local Deep Representation for Effective Object Retrieval","authors":"Mao Wang, Yuewei Ming, Qiang Liu, Jianping Yin","doi":"10.1007/978-981-10-6893-5_3","DOIUrl":"https://doi.org/10.1007/978-981-10-6893-5_3","url":null,"abstract":"","PeriodicalId":253366,"journal":{"name":"National Conference on Theoretical Computer Science","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129794702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}