LEADER 01053nam0 2200289 i 450 001 SUN0133807 005 20210419101634.223 010 $d0.00 017 70$2N$a978-3-319-17891-2 100 $a20210419d2015 |0engc50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $a*Relativity for Everyone$eHow Space-Time Bends$fKurt Fischer 205 $a2. ed 210 $aCham$cSpringer$d2015 215 $axiii, 137 p.$cill.$d24 cm 410 1$1001SUN0117860$12001 $a*Undergraduate lecture notes in physics$1210 $aBerlin$cSpringer$d2011-. 620 $aCH$dCham$3SUNL001889 700 1$aFischer$b, Kurt$3SUNV107560$036519 712 $aSpringer$3SUNV000178$4650 801 $aIT$bSOL$c20210426$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-319-17891-2 912 $aSUN0133807 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 2440 $e08eMF2440 20210419 996 $aRelativity for Everyone$91772326 997 $aUNICAMPANIA LEADER 08364nam 2200697z 450 001 9910624353503321 005 20250628110035.0 010 $a3-031-15374-X 024 7 $a10.1007/978-3-031-15374-7 035 $a(CKB)5700000000299870 035 $a(DE-He213)978-3-031-15374-7 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/93978 035 $a(MiAaPQ)EBC7135060 035 $a(Au-PeEL)EBL7135060 035 $a(OCoLC)1352967905 035 $a(PPN)266350720 035 $a(ODN)ODN0010073693 035 $a(EXLCZ)995700000000299870 100 $a20221110d2023 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSpecial Topics in Information Technology /$fedited by Carlo G. Riva 205 $a1st ed. 2023. 210 $aCham$cSpringer Nature$d2023 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (VIII, 152 p. 54 illus., 42 illus. in color.) 225 1 $aPoliMI SpringerBriefs,$x2282-2585 311 08$a3-031-15373-1 327 $aIntro -- Preface -- Contents -- Computer Science and Engineering -- Reducing the Gap Between Theory and Applications in Algorithmic Bayesian Persuasion -- 1 Introduction -- 2 The Bayesian Persuasion Framework -- 3 Persuading in Election -- 4 Persuading in Routing -- 5 Persuading in Auctions -- 6 Online Bayesian Persuasion -- 7 Efficient Online Learning Through Mechanism Design -- 8 Conclusions and Future Research -- References -- Modern High-Level Synthesis: Improving Productivity with a Multi-level Approach -- 1 Introduction -- 2 The SODA Synthesizer -- 3 Experimental Results -- 4 Conclusion -- References -- FPGA-Based Design and Implementation of a Code-Based Post-quantum KEM -- 1 Introduction -- 2 Components for QC-MDPC Code-Based Cryptography -- 3 Client-Server BIKE Architecture -- 4 Experimental Evaluation -- 5 Conclusions -- References -- Model-Driven Development of Formally Verified Human-Robot Interactions -- 1 Introduction -- 2 Preliminaries -- 3 Design-Time Analysis and Reconfiguration -- 4 Application Deployment -- 5 Model Adjustment -- 6 Future Research Outlook -- References -- Electronics -- Electronic Bio-Reconfigurable Impedance Platform for High Sensitivity Detection of Target Analytes -- 1 Introduction -- 2 The Differential Impedance Sensing Approach -- 2.1 Platform Overview and Experimental Protocol -- 2.2 Detection of IgG Antibodies in Human Serum for Dengue Virus Diagnosis -- 3 Multiplex Differential Impedance Sensing -- 3.1 Electronic Multichannel Reading Board -- 3.2 Selective DNA Detection -- 4 Conclusions and Future Perspective -- References -- Development of Crosspoint Memory Arrays for Neuromorphic Computing -- 1 Introduction -- 2 Non-volatile RRAMs -- 3 Volatile RRAMs -- 4 Conclusions -- References -- Systems and Control. 327 $aReconciling Deep Learning and Control Theory: Recurrent Neural Networks for Indirect Data-Driven Control -- 1 Introduction -- 2 Learning Stable RNN Models -- 2.1 Training Procedure -- 3 Control Design -- 3.1 Definition of the Control Problem -- 3.2 NMPC Design -- 3.3 Offset-Free NMPC -- 4 Open Problems and Future Research Directions -- 5 Conclusions -- References -- On Data-Driven Optimization Methods in the Design and Control of Autonomous Systems -- 1 Introduction -- 2 Problem Setup -- 3 Set Membership Global Optimization (SMGO) -- 3.1 Algorithm -- 4 Algorithm Properties -- 5 Sample Applications -- 5.1 Experiment-Based Controller Tuning -- 5.2 Plant-Controller Co-Design -- 6 Conclusions -- References -- Model Predictive Control for Constrained Navigation of Autonomous Vehicles -- 1 Introduction -- 2 Constrained Autonomous Navigation Problem -- 3 Environment Aware MPC for Autonomous Navigation -- 3.1 State Shifting Constraint -- 4 Multi-trajectory MPC -- 5 Navigation Around Obstacles -- 5.1 Exteroceptive Sensor and Convex Under-Approximation of the Free Space -- 5.2 Graph-Based Exploration and Mapping -- 6 Applications to Autonomous Navigation Problems -- 7 Conclusions -- References -- Telecommunications -- Cooperative Processing and Learning Methods for High-Resolution Environmental Perception -- 1 Introduction -- 2 Localization of Mobile Agents in Complex Environments -- 2.1 A Bayesian Tracking Framework for NLOS Compensation -- 3 Federated Learning for Enhanced Perception -- 3.1 Communication-Efficient FL Policy -- 4 Cooperative Localization and Sensing in Connected Vehicle Scenarios -- 4.1 Data-Driven Joint Cooperative Localization and Perception -- 5 Bayesian Federated Learning for Trustworthy Environmental Perception -- 5.1 Channel-Driven Bayesian FL Strategy -- 6 Concluding Remarks -- References. 327 $aSynthesis of Filters and Filtering Antennas for Micro and Millimeter Waves Applications -- 1 Synthesis-Based Filter Design -- 1.1 Accurate Synthesis of Extracted-Pole Filters -- 1.2 Synthesis of Cascade-Block Filters -- 1.3 Synthesis-Based Filter Design -- 2 Synthesis-Based Antenna Design -- 3 Synthesis-Based Filtenna Design -- 4 Conclusion -- References -- Innovative Cross-Layer Optimization Techniques for the Design of Optical Networks -- 1 Introduction -- 2 Optical Amplifier Placement in Metro Networks -- 2.1 Introduction and Problem Description -- 2.2 Genetic Algorithm for OA Placement -- 2.3 Illustrative Numerical Results -- 3 Minimizing Equipment Cost in Mixed 10G/100G/200G Filterless Horseshoes with Hierarchical OTN Boards -- 3.1 Introduction and Problem Description -- 3.2 Strategies to Solve MinOTN -- 3.3 Illustrative Numerical Results -- 4 Machine Learning for Quality-of-Transmission Estimation of Unestablished Lightpaths in Wavelength Switched Optical Networks -- 4.1 Introduction and Problem Description -- 4.2 Illustrative Numerical Result -- References. 330 $aThis open access book presents outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico di Milano emphasizes this interdisciplinary nature, which is becoming more and more important in recent technological advances, in collaborative projects, and in the education of young researchers. Accordingly, the focus of advanced research is on pursuing a rigorous approach to specific research topics starting from a broad background in various areas of Information Technology, especially Computer Science and Engineering, Electronics, Systems and Control, and Telecommunications. Each year, more than 50 PhDs graduate from the program. This book gathers the outcomes of the best theses defended in 2021-22 and selected for the IT PhD Award. Each of the authors provides a chapter summarizing his/her findings, including an introduction, description of methods, main achievements and future work on the topic. Hence, the book provides a cutting-edge overview of the latest research trends in Information Technology at Politecnico di Milano, presented in an easy-to-read format that will also appeal to non-specialists. 410 0$aPoliMI SpringerBriefs,$x2282-2585 606 $aElectrical engineering 606 $aBiomedical engineering 606 $aComputer engineering 606 $aComputer networks 606 $aElectrical and Electronic Engineering 606 $aBiomedical Engineering and Bioengineering 606 $aComputer Engineering and Networks 615 0$aElectrical engineering. 615 0$aBiomedical engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aElectrical and Electronic Engineering. 615 24$aBiomedical Engineering and Bioengineering. 615 24$aComputer Engineering and Networks. 676 $a621.3 686 $aCOM043000$aTEC007000$aTEC059000$2bisacsh 700 $aRiva$b Carlo G$4edt$01277674 702 $aRiva$b Carlo G$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910624353503321 996 $aSpecial Topics in Information Technology$93011836 997 $aUNINA