{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":42,"n_cols":5,"rows_kept":42,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[11,2,11,3],[12,2,12,3],[14,2,14,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[33,2,33,3],[34,2,34,3],[36,2,36,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991004362536907536"]
[null,null,"Autore",null,"Baudin, Émile"]
[null,null,"Titolo",null,"Études historiques et critiques sur la philosophie de Pascal / E. Baudin"]
[null,null,"Pubbl/distr/stampa",null,"Neuchatel : Éditions de la Baconnière, 1946-"]
[null,null,"Descrizione fisica",null,"volumi ; 20 cm"]
[null,null,"Collana",null,"Être et penser. Cahiers de philosophie ; 16-"]
[null,null,"Disciplina",null,"194"]
[null,null,"Soggetti",null,"Pascal, Blaise Critica"]
[{"$nulls":4},"Descartes, René"]
[{"$nulls":4},"Pascal, Blaise Critica"]
[{"$nulls":4},"Descartes, René"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"1: Sa philosophie critique : Pascal et Descartes. - 1946. - 343 p. - (16)"]
[null,"2.","Record Nr.",null,"UNINA9910624353503321"]
[null,null,"Autore",null,"Riva Carlo G"]
[null,null,"Titolo",null,"Special Topics in Information Technology / / edited by Carlo G. Riva"]
[null,null,"Pubbl/distr/stampa",null,"Cham, : Springer Nature, 2023"]
[{"$nulls":4},"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023"]
[null,null,"ISBN",null,"3-031-15374-X"]
[null,null,"Edizione",null,"[1st ed. 2023.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 152 p. 54 illus., 42 illus. in color.)"]
[null,null,"Collana",null,"PoliMI SpringerBriefs, , 2282-2585"]
[null,null,"Classificazione",null,"COM043000TEC007000TEC059000"]
[null,null,"Disciplina",null,"621.3"]
[null,null,"Soggetti",null,"Electrical engineering"]
[{"$nulls":4},"Biomedical engineering"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Electrical and Electronic Engineering"]
[{"$nulls":4},"Biomedical Engineering and Bioengineering"]
[{"$nulls":4},"Computer Engineering and Networks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Intro -- 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 "]
[{"$nulls":4},"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."]
[{"$nulls":4},"Reconciling 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."]
[{"$nulls":4},"Synthesis 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."]
[null,null,null,"Sommario/riassunto","This 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 "]
[{"$nulls":4},"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."]