top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui