{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T05:40:22Z","timestamp":1743572422506,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031856969","type":"print"},{"value":"9783031856976","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-85697-6_24","type":"book-chapter","created":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T05:21:52Z","timestamp":1743571312000},"page":"360-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["GPU-Based Interval Optimization in\u00a0the\u00a0Context of\u00a0Optical MIMO Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4059-3982","authenticated-orcid":false,"given":"Ekaterina","family":"Auer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7664-9450","authenticated-orcid":false,"given":"Andreas","family":"Ahrens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8244-5810","authenticated-orcid":false,"given":"Lorenz","family":"Gillner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,1]]},"reference":[{"key":"24_CR1","unstructured":"Arias, E.J.G., Hermant, O., Jouvelot, P.: Verification of FAUST signal processing programs in COQ. In: CoqPL Workshop, Mumbai, January (2015)"},{"key":"24_CR2","unstructured":"Auer, E., Kiel, S., Rauh, A.: Towards a verified ODE solver for GPU-based parameter identification. In: Bucher, C., Ellingwood, B., Frangopol, D. (eds.) Safety, Reliability, Risk, Resilience and Sustainability of Structures and Infrastructure (Proceedings of the 12th International Conference on Structural Safety and Reliability (ICOSSAR), pp. 2039\u20132049 (2017)"},{"key":"24_CR3","doi-asserted-by":"publisher","unstructured":"Auer, E., Ahrens, A.: Guaranteed minimization of the bit error ratio for MIMO systems: a mathematical viewpoint. ASCE-ASME J. Risk Uncertainty Eng. Syst. Part B Mech. Eng. 7(2), 020910 (2021). https:\/\/doi.org\/10.1115\/1.4050161","DOI":"10.1115\/1.4050161"},{"key":"24_CR4","doi-asserted-by":"publisher","unstructured":"Auer, E., Ahrens, A.: Verified bit and power allocation for MIMO systems: a comparison of SVD based techniques with GMD. Acta Cybernetica (2024). https:\/\/doi.org\/10.14232\/actacyb.301323","DOI":"10.14232\/actacyb.301323"},{"key":"24_CR5","doi-asserted-by":"publisher","unstructured":"Bag\u00f3czki, Z., B\u00e1nhelyi, B.: A parallel interval arithmetic-based reliable computing method on a GPU. Acta Cybernetica 23(2), 491\u2013501 (2017). https:\/\/doi.org\/10.14232\/actacyb.23.2.2017.4","DOI":"10.14232\/actacyb.23.2.2017.4"},{"key":"24_CR6","doi-asserted-by":"publisher","unstructured":"Benavente-Peces, C., Ahrens, A., Pardo-Mart\u00edn, J.M., Ortega-Gonz\u00e1lez, F.J.: Fixed point SVD computation error characterization and performance losses in MIMO systems. In: Proceedings of WINSYS (ICETE 2009), vol. 1, pp. 91\u201394. INSTICC, SciTePress (2009). https:\/\/doi.org\/10.5220\/0002188800910094","DOI":"10.5220\/0002188800910094"},{"key":"24_CR7","unstructured":"Bendtsen, C., Stauning, O.: FADBAD, a flexible C++ package for automatic differentiation. Technical report, Department of Mathematical Modelling, Technical University of Denmark, Lyngby (1996). https:\/\/www2.imm.dtu.dk\/~kajm\/FADBAD\/tr17_96.pdf"},{"issue":"1","key":"24_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/141000671","volume":"59","author":"J Bezanson","year":"2017","unstructured":"Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65\u201398 (2017). https:\/\/doi.org\/10.1137\/141000671","journal-title":"SIAM Rev."},{"key":"24_CR9","doi-asserted-by":"publisher","unstructured":"Bj\u00f6rnson, E., Sanguinetti, L., Wymeersch, H., Hoydis, J., Marzetta, T.L.: Massive MIMO is a reality \u2013 What is next? Five promising research directions for antenna arrays. Digital Signal Process. 94, 3\u201320 (2019). https:\/\/doi.org\/10.1016\/j.dsp.2019.06.007","DOI":"10.1016\/j.dsp.2019.06.007"},{"key":"24_CR10","doi-asserted-by":"publisher","unstructured":"Cano-Gutierrez, A., Stojanovic., M., Vidal, J.: Effect of channel estimation error on the performance of SVD-based MIMO communication systems. In: Proceedings\u00a0of 15th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, vol.\u00a01, pp. 508\u2013512. IEEE (2004). https:\/\/doi.org\/10.1109\/PIMRC.2004.1370923","DOI":"10.1109\/PIMRC.2004.1370923"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"2363","DOI":"10.1109\/TIT.2003.817437","volume":"49","author":"M Chiani","year":"2003","unstructured":"Chiani, M., Win, M., Zanella, A.: On the capacity of spatially correlated MIMO rayleigh-fading channels. IEEE Trans. Inf. Theory 49, 2363\u20132371 (2003). https:\/\/doi.org\/10.1109\/TIT.2003.817437","journal-title":"IEEE Trans. Inf. Theory"},{"key":"24_CR12","doi-asserted-by":"publisher","unstructured":"Collange, C., Daumas, M., Defour, D.: Interval arithmetic in CUDA. In: Hwu, W.W. (ed.) GPU Computing Gems Jade Edition, chap.\u00a09, pp. 99\u2013107. Elsevier (2012). https:\/\/doi.org\/10.1016\/b978-0-12-385963-1.00009-5","DOI":"10.1016\/b978-0-12-385963-1.00009-5"},{"key":"24_CR13","doi-asserted-by":"publisher","unstructured":"Dabah, A., Ltaief, H., Rezki, Z., Alouini, S., Keyes, D.: GPU-based low-precision detection approach for massive MIMO systems. In: Bhatele, A., Hammond, J., Baboulin, M., Kruse, C. (eds.) High Performance Computing, pp. 144\u2013163. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-32041-5_8","DOI":"10.1007\/978-3-031-32041-5_8"},{"key":"24_CR14","unstructured":"Eriksen, M.B., Rasmussen, S.: GPU Accelerated Parameter Estimation by Global Optimization using Interval Analysis. Master\u2019s thesis (2013). https:\/\/projekter.aau.dk\/projekter\/files\/77291483\/report.pdf"},{"key":"24_CR15","doi-asserted-by":"publisher","unstructured":"Fan, W., Carre\u00f1o, X., Ashta, J.S., Nielsen, J.\u00d8., Pedersen, G.F., Knudsen, M.B.: Channel verification results for the SCME models in a multi-probe based MIMO OTA setup. In: Proceedings of the 78th IEEE Vehicular Technology Conference, pp.\u00a01\u20135 (2013). https:\/\/doi.org\/10.1109\/VTCFall.2013.6692133","DOI":"10.1109\/VTCFall.2013.6692133"},{"issue":"1\u20134","key":"24_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/B:NUMA.0000049462.70970.b6","volume":"34","author":"LH de Figueiredo","year":"2004","unstructured":"de Figueiredo, L.H., Stolfi, J.: Affine arithmetic: concepts and applications. Numer. Algor. 34(1\u20134), 147\u2013158 (2004). https:\/\/doi.org\/10.1023\/B:NUMA.0000049462.70970.b6","journal-title":"Numer. Algor."},{"key":"24_CR17","doi-asserted-by":"publisher","unstructured":"Foschini, G.: Layered space-time architecture for wireless communication in a fading environment when using multi-element antennas. Bell Labs Techn. J. 1(2), 41 \u2013 59 (1996). https:\/\/doi.org\/10.1002\/bltj.2015","DOI":"10.1002\/bltj.2015"},{"key":"24_CR18","doi-asserted-by":"publisher","unstructured":"Gillner, L., Auer, E.: GPU-accelerated, interval-based parameter identification methods illustrated using the two-compartment problem. Acta Cybernetica (2024). https:\/\/doi.org\/10.14232\/actacyb.306774","DOI":"10.14232\/actacyb.306774"},{"key":"24_CR19","doi-asserted-by":"publisher","unstructured":"Gorospe\u00a0Jr., G.E., Daigle, M.J., Sankararaman, S., Kulkarni, C.S., Ng, E.: GPU accelerated prognostics. In: Annual Conference of the PHM Society, vol.\u00a09 (2017). https:\/\/doi.org\/10.36001\/phmconf.2017.v9i1.2437","DOI":"10.36001\/phmconf.2017.v9i1.2437"},{"key":"24_CR20","doi-asserted-by":"publisher","unstructured":"Hansen, E., Walster, G.: Global Optimization Using Interval Analysis: Revised and Expanded. CRC Press, Boca Raton (2003). https:\/\/doi.org\/10.1201\/9780203026922","DOI":"10.1201\/9780203026922"},{"issue":"15","key":"24_CR21","doi-asserted-by":"publisher","first-page":"27171","DOI":"10.1364\/OE.450514","volume":"30","author":"S van der Heide","year":"2022","unstructured":"van der Heide, S., et al.: Real-time transmission of geometrically-shaped signals using a software-defined GPU-based optical receiver. Opt. Express 30(15), 27171\u201327179 (2022). https:\/\/doi.org\/10.1364\/OE.450514","journal-title":"Opt. Express"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-01591-5_5","volume-title":"Numerical Validation in Current Hardware Architectures","author":"W Hofschuster","year":"2009","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Neher, M.: C-XSC and closely related software packages. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation in Current Hardware Architectures. LNCS, vol. 5492, pp. 68\u2013102. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01591-5_5"},{"key":"24_CR23","doi-asserted-by":"publisher","unstructured":"Ifrim, I., Vassilev, V., Lange, D.J.: GPU accelerated automatic differentiation with clad. J. Phys. Conf. Ser. 2438(1), 012043 (2023). https:\/\/doi.org\/10.1088\/1742-6596\/2438\/1\/012043","DOI":"10.1088\/1742-6596\/2438\/1\/012043"},{"issue":"2","key":"24_CR24","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0378-4754(93)90008-I","volume":"35","author":"L Jaulin","year":"1993","unstructured":"Jaulin, L., Walter, E.: Guaranteed nonlinear parameter estimation from bounded-error data via interval analysis. Math. Comput. Simul. 35(2), 123\u2013137 (1993). https:\/\/doi.org\/10.1016\/0378-4754(93)90008-I","journal-title":"Math. Comput. Simul."},{"key":"24_CR25","doi-asserted-by":"publisher","unstructured":"Kieffer, M., Walter, E.: Interval analysis for guaranteed nonlinear parameter estimation. In: MODA 5 \u2014 Advances in Model-Oriented Data Analysis and Experimental Design, pp. 115\u2013125. Physica-Verlag, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-642-58988-1_13","DOI":"10.1007\/978-3-642-58988-1_13"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-36803-5_37","volume-title":"Applied Parallel and Scientific Computing","author":"G Kozikowski","year":"2013","unstructured":"Kozikowski, G., Kubica, B.J.: Interval arithmetic and automatic differentiation on GPU using OpenCL. In: Manninen, P., \u00d6ster, P. (eds.) PARA 2012. LNCS, vol. 7782, pp. 489\u2013503. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36803-5_37"},{"key":"24_CR27","doi-asserted-by":"publisher","unstructured":"Liu, G., et al.: MIMO radar parallel simulation system based on CPU\/GPU architecture. Sensors 22(1) (2022). https:\/\/doi.org\/10.3390\/s22010396","DOI":"10.3390\/s22010396"},{"key":"24_CR28","doi-asserted-by":"publisher","unstructured":"Lohner, R.: On the ubiquity of the wrapping effect in the computation of error bounds. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, pp. 201\u2013218. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-7091-6282-8_12","DOI":"10.1007\/978-3-7091-6282-8_12"},{"key":"24_CR29","doi-asserted-by":"publisher","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. Society for Industrial and Applied Mathematics, Philadelphia (2009). https:\/\/doi.org\/10.1137\/1.9780898717716","DOI":"10.1137\/1.9780898717716"},{"key":"24_CR30","doi-asserted-by":"publisher","unstructured":"Nedialkov, N.: Implementing a rigorous ODE solver through literate programming, mathematical engineering, vol.\u00a03, pp. 3\u201319. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-15956-5_1","DOI":"10.1007\/978-3-642-15956-5_1"},{"key":"24_CR31","unstructured":"NVIDIA: CUDA C++ Programming Guide. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/"},{"key":"24_CR32","doi-asserted-by":"publisher","unstructured":"Raleigh, G.G., Cioffi, J.M.: Spatio-temporal coding for wireless communication. IEEE Trans. Commun. 46(3), 357\u2013366 (1998). https:\/\/doi.org\/10.1109\/26.662641","DOI":"10.1109\/26.662641"},{"key":"24_CR33","doi-asserted-by":"publisher","unstructured":"Rump, S.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments\u00a0in\u00a0Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999). https:\/\/doi.org\/10.1007\/978-94-017-1247-7_7","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"24_CR34","unstructured":"Sanders, D.P.: Global optimization and interval constraint programming using Julia: Symbolics, code generation, GPU (2022). https:\/\/www.youtube.com\/watch?v=iXJwq8-kcvE"},{"key":"24_CR35","doi-asserted-by":"publisher","unstructured":"Telatar, I.E.: Capacity of multi-antenna Gaussian channels. Eur. Trans. Telecommun. 10, 585\u2013595 (1999). https:\/\/doi.org\/10.1002\/ett.4460100604","DOI":"10.1002\/ett.4460100604"},{"key":"24_CR36","doi-asserted-by":"publisher","unstructured":"Tse, D., Viswanath, P.: Fundamentals of Wireless Communications. Cambridge University Press, Cambridge (2004). https:\/\/doi.org\/10.1017\/CBO9780511807213","DOI":"10.1017\/CBO9780511807213"},{"key":"24_CR37","doi-asserted-by":"publisher","unstructured":"Tucker, W.: Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press, Princeton (2011). https:\/\/doi.org\/10.1515\/9781400838974","DOI":"10.1515\/9781400838974"},{"key":"24_CR38","unstructured":"Weikert, O., Z\u00f6lzer, U.: Efficient MIMO channel estimation with optimal training sequences. In: Proceedings of 1st Workshop on Commercial MIMO Components and Systems, Duisburg, Germany (2007)"},{"key":"24_CR39","doi-asserted-by":"publisher","unstructured":"Wu, M., Gupta, S., Sun, Y., Cavallaro, J.: A GPU implementation of a real-time MIMO detector, pp. 303\u2013308 (2009). https:\/\/doi.org\/10.1109\/SIPS.2009.5336271","DOI":"10.1109\/SIPS.2009.5336271"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-85697-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T05:22:08Z","timestamp":1743571328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-85697-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031856969","9783031856976"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-85697-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PPAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel Processing and Applied Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ostrava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ppam2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ppam.edu.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}