Special topics in information technology / / editor, Luigi Piroddi
| Special topics in information technology / / editor, Luigi Piroddi |
| Autore | Piroddi Luigi |
| Pubbl/distr/stampa | Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (viii, 152 pages) : illustrations (some color) |
| Altri autori (Persone) | PiroddiLuigi |
| Collana | SpringerBriefs in applied sciences and technology |
| Soggetto topico | Information technology |
| ISBN | 3-030-85918-5 |
| Classificazione | COM043000TEC007000TEC059000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910514183403321 |
Piroddi Luigi
|
||
| Springer Nature, 2022 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Special Topics in Information Technology / / edited by Carlo G. Riva
| Special Topics in Information Technology / / edited by Carlo G. Riva |
| Autore | Riva Carlo G |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2023 |
| Descrizione fisica | 1 online resource (VIII, 152 p. 54 illus., 42 illus. in color.) |
| Disciplina | 621.3 |
| Collana | PoliMI SpringerBriefs |
| Soggetto topico |
Electrical engineering
Biomedical engineering Computer engineering Computer networks Electrical and Electronic Engineering Biomedical Engineering and Bioengineering Computer Engineering and Networks |
| ISBN | 3-031-15374-X |
| Classificazione | COM043000TEC007000TEC059000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
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 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.
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. 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. |
| Record Nr. | UNINA-9910624353503321 |
Riva Carlo G
|
||
| Cham, : Springer Nature, 2023 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||