{"title":"Freeness, Sharing, Linearity and Correctness - All at Once","authors":"M. Bruynooghe, M. Codish","doi":"10.1007/3-540-57264-3_37","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_37","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129359594","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":"Challenges in Developing Useful and Practical Static Analysis for Logic Programs","authors":"P. V. Roy","doi":"10.1007/3-540-57264-3_33","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_33","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127299642","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":"A Congruence for Gamma Programs","authors":"Lindsay Errington, C. Hankin, T. Jensen","doi":"10.1007/3-540-57264-3_45","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_45","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134331952","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}
Pascal Van Hentenryck, Olivier Degimbe, B. L. Charlier, L. Michel
{"title":"The Impact of Granularity in Abstract Interpretation of Prolog","authors":"Pascal Van Hentenryck, Olivier Degimbe, B. L. Charlier, L. Michel","doi":"10.1007/3-540-57264-3_25","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_25","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134320147","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":"Finiteness Conditions for Strictness Analysis","authors":"F. Nielson, H. R. Nielson","doi":"10.1007/3-540-57264-3_41","DOIUrl":"https://doi.org/10.1007/3-540-57264-3_41","url":null,"abstract":"","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"410 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126689885","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":"Error-prone relay networks with soft- and hard-decision re-encoding","authors":"Sebastian Vorköper, V. Kühn","doi":"10.1109/WSA.2011.5741930","DOIUrl":"https://doi.org/10.1109/WSA.2011.5741930","url":null,"abstract":"In this paper, we investigate the performance of cooperative coding in a three-node error-prone relay network. It is widely believed that soft re-encoding at the relay will be beneficial for the overall bit error rate after turbo-decoding at the destination. In particular, soft re-encoding is supposed to combine the advantages of decode-and-forward and estimate-and-forward. However, we show that the information loss due to soft re-encoding and the forwarding of analog instead of discrete values might outbalance its benefits. We exemplarily unveil scenarios for which hard re-encoding performs best, soft re-encoding is superior or both have the same performance.","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":" 95","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113947889","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":"Downlink Spectral Efficiency of Massive MIMO with Dual-Polarized Antennas","authors":"Özgecan Özdogan, Emil Björnson","doi":"10.48550/arXiv.2206.08223","DOIUrl":"https://doi.org/10.48550/arXiv.2206.08223","url":null,"abstract":"This paper considers the downlink of a single-cell massive MIMO (multiple-input multiple-output) system with dual-polarized antennas at both the base station and users. We consider a channel model that takes into account several practical aspects that arise when utilizing dual polarization, such as channel cross-polar discrimination (XPD) and cross-polar receive and transmit correlations (XPC). We derive the statistical properties of the minimum mean squared error (MMSE) channel estimator for this model. Using these estimates for maximum ratio precoding, a rigorous closed-form downlink spectral efficiency (SE) expression is derived. We compare the SEs achieved in dual-polarized and uni-polarized setups numerically and evaluate the impact of XPD on the downlink SE.","PeriodicalId":355511,"journal":{"name":"International ITG Workshop on Smart Antennas","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122822116","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}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
