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.
AC Motor Control Loop Design : Practical Modeling, Delay Compensation, and Simulation Techniques Using MATLAB/SIMULINK / / by Chih-Chun Yeh
| AC Motor Control Loop Design : Practical Modeling, Delay Compensation, and Simulation Techniques Using MATLAB/SIMULINK / / by Chih-Chun Yeh |
| Autore | Yeh Chih-Chun |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (XIII, 353 p. 313 illus., 200 illus. in color.) |
| Disciplina |
629.8312
003 |
| Collana | Power Systems |
| Soggetto topico |
Automatic control
Electric machinery Engineering design Computer simulation Electronic circuit design Control and Systems Theory Electrical Machines Engineering Design Computer Modelling Electronics Design and Verification |
| ISBN | 981-9532-61-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Space Vector Modeling of AC Machines -- Design of AC Motor Control Loops -- Modulation Strategies for Three-Phase Inverters -- Hardware-Based Design Validation -- Practical Issues in Control Implementation -- A Refresher on Classical Control Theory. |
| Record Nr. | UNINA-9911061850303321 |
Yeh Chih-Chun
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Sebastian Huhn
| Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Sebastian Huhn |
| Autore | Drechsler Rolf |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (174 pages) |
| Disciplina | 621.3815 |
| Altri autori (Persone) | HuhnSebastian |
| Soggetto topico |
Electronic circuits
Computer science - Mathematics Embedded computer systems Electronic circuit design Electronic Circuits and Systems Mathematical Applications in Computer Science Embedded Systems Electronics Design and Verification |
| ISBN | 3-031-28916-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don’t Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs. |
| Record Nr. | UNINA-9910728387303321 |
|
Drechsler Rolf
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Controllers Design for Hybrid Active Power Filters / / by Chi-Seng Lam, Cheng Gong, Wai-Kit Sou
| Advanced Controllers Design for Hybrid Active Power Filters / / by Chi-Seng Lam, Cheng Gong, Wai-Kit Sou |
| Autore | Lam Chi-Seng |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (229 pages) |
| Disciplina | 621.381044 |
| Altri autori (Persone) |
GongCheng
SouWai-Kit |
| Soggetto topico |
Power electronics
Electronic circuit design Automatic control Power Electronics Electronics Design and Verification Control and Systems Theory |
| ISBN |
9789819768479
9819768470 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Deadbeat Current Control for LC HAPF -- Improved Model Predictive Control for LC HAPF -- Vector Proportional Integral Control for LC HAPF -- Second Order Sliding Model Control for LC HAPF -- Multi Quasi Proportional Resonant Control for TCLC HAPF -- H Control for TCLC HAPF -- Finite Set Model Predictive Control for TCLC HAPF -- Finite Set Hybrid Model Predictive Control for TCLC HAPF -- Second Order Sliding Model Observer based Second Order Sliding Model Control for TCLCHAPF -- Conclusions and Prospective for Further Work. |
| Record Nr. | UNINA-9910983068903321 |
|
Lam Chi-Seng
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms / / by Mohammad Reza Heidari Iman
| Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms / / by Mohammad Reza Heidari Iman |
| Autore | Heidari Iman Mohammad Reza |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 006.22 |
| Soggetto topico |
Embedded computer systems
Electronic circuit design Electronics Embedded Systems Electronics Design and Verification Electronics and Microelectronics, Instrumentation |
| ISBN |
9783031904103
9783031904097 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Background -- State-of-the-art -- Automatic Generation of Assertions for Functional Verification -- Automatic Evaluation and Minimization of Assertions -- Automatic Generation of Assertions for Security Verification -- Conclusion and Future Directions. |
| Record Nr. | UNINA-9911015869503321 |
|
Heidari Iman Mohammad Reza
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analog and Mixed-Signal Circuits in Nanoscale CMOS / / edited by Rui Paulo da Silva Martins, Pui-In Mak
| Analog and Mixed-Signal Circuits in Nanoscale CMOS / / edited by Rui Paulo da Silva Martins, Pui-In Mak |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (316 pages) |
| Disciplina |
621.395
621.39732 |
| Collana | Analog Circuits and Signal Processing |
| Soggetto topico |
Electronic circuits
Telecommunication Electronic circuit design Electronic Circuits and Systems Microwaves, RF Engineering and Optical Communications Electronics Design and Verification |
| ISBN | 3-031-22231-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- High-performance Radios -- Power-efficient RF and mm-Wave VCOs / PLL -- Ultra-low-voltage clock references -- Low-power Nyquist ADCs -- High-performance Oversampling ADCs -- Integrated Energy Harvesting Interfaces -- Fully-integrated Switched-Capacitor Power Converters -- Hybrid Architectures and Controllers for Low-Dropout Regulators -- Conclusions. |
| Record Nr. | UNINA-9910640378003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analog Current-Mode Computational Circuits for Artificial Neural Networks / / by Cosmin Radu Popa
| Analog Current-Mode Computational Circuits for Artificial Neural Networks / / by Cosmin Radu Popa |
| Autore | Popa Cosmin Radu |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 621.3815 |
| Collana | Analog Circuits and Signal Processing |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Cooperating objects (Computer systems) Electronics Design and Verification Embedded Systems Cyber-Physical Systems |
| ISBN |
9783032039897
9783032039880 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Superior-order approximation functions for generating sigmoidal activation functions -- Superior-order approximation functions for generating radial basis activation functions -- Superior-order approximation functions for artificial neural networks applications -- Analysis and design of analog function synthesizers for implmenting sigmoidal activation functions -- Analysis and design of analog function synthesizers for generating radial basis activation functions -- Analysis and design of analog function synthesizers for artificial neural networks applications -- Low-voltage low-power current-mode CMOS computational circuits for implementing activation functions -- Conclusions. |
| Record Nr. | UNINA-9911039319703321 |
|
Popa Cosmin Radu
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analog Microelectronics / / by Mattia Borgarino
| Analog Microelectronics / / by Mattia Borgarino |
| Autore | Borgarino Mattia |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (979 pages) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Electronics Electronics Design and Verification Embedded Systems Electronics and Microelectronics, Instrumentation |
| ISBN | 3-031-94286-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | History of Electronics -- Transistors and Amplifiers -- Fundamental Patterns -- Exercises on basic patterns -- Frequency Response -- Feedback -- Feedback and Stability -- Examples of Feedback Amplifiers. |
| Record Nr. | UNINA-9911020421703321 |
|
Borgarino Mattia
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Approximate Computing / / edited by Weiqiang Liu, Fabrizio Lombardi
| Approximate Computing / / edited by Weiqiang Liu, Fabrizio Lombardi |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (607 pages) |
| Disciplina | 004 |
| Collana | Computer Science Series |
| Soggetto topico |
Electronic circuits
Embedded computer systems Electronic circuit design Electronic Circuits and Systems Embedded Systems Electronics Design and Verification |
| ISBN |
9783030983475
3030983471 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Approximate Arithmetic and Circuits -- 1-Approximate Arithmetic Circuits: Design and Applications -- 2-An Automated Logic Level Framework for Approximate Modular Arithmetic Circuits -- 3-Approximate Multiplier Design for Energy Efficiency: From Circuit to Algorithm -- 4-Low-Precision Floating-Point Formats: From General-Purpose to Application-Specific -- 5-Spintronic Solutions for Approximate Computing -- 6-Majority Logic Based Approximate Multipliers for Error-Tolerant Applications -- Part II Design Automation and Test -- 7-Approximate Logic Synthesis for FPGA by Decomposition -- 8-Design Techniques for Approximate Realization of Data-Flow Graphs -- 9-Approximation on Data Flow Graph Execution for Energy Efficiency -- 10-Test and Reliability of Approximate Hardware -- Part III Security -- 11-SecurityVulnerabilities in Approximate Circuits -- 12-Voltage Overscaling Techniques for Security Applications -- 13-Approximate Computing for Cryptography -- 14-Towards Securing Approximate Computing Systems: Security Threats and Attack Mitigation -- Part IV Neural Networks and Machine Learning -- 15-Approximate Computing for Machine Learning Workloads: A circuits and systems perspective -- 16-Approximate Computing for Efficient Neural Network Computation -- 17-Enabling Efficient Inference of Convolutional Neural Networks via Approximation -- 18-Approximate Computing for Energy-Constrained DNN-based Speech Recognition -- 19-Efficient Approximate DNN Accelerators for Edge Devices -- Part V Applications -- 20-Cross-Level Design of Approximate Computing for Continuous Perception System -- 21-Approximate Computing in Image Compression and Denoising -- 22-Approximate Computation for Baseband Processing. |
| Record Nr. | UNINA-9910590077803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence for Engineers : Basics and Implementations / / by Zhen "Leo" Liu
| Artificial Intelligence for Engineers : Basics and Implementations / / by Zhen "Leo" Liu |
| Autore | Liu Zhen (Leo) |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (719 pages) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuit design
Computational intelligence Machine learning Electronics Design and Verification Computational Intelligence Machine Learning |
| ISBN |
9783031759536
3031759532 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preparation Knowledge: Basics of AI -- Tools for Artificial Intelligence -- Linear Models -- Decision Trees -- Support Vector Machine -- Bayesian Algorithms -- Artificial Neural Network -- Deep Learning -- Ensemble Learning -- Clustering -- Dimension Reduction -- Anomaly Detection -- Association Rule Leaming -- Basics of and Value-Based Reinforcement Learning -- Policy-Based Reinforcement Learning. |
| Record Nr. | UNINA-9910983305303321 |
|
Liu Zhen (Leo)
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bulk-Driven Circuit Techniques for CMOS FDSOI Processes : From Circuit Concept to Implementations / / edited by Friedel Gerfers
| Bulk-Driven Circuit Techniques for CMOS FDSOI Processes : From Circuit Concept to Implementations / / edited by Friedel Gerfers |
| Autore | Gerfers F (Friedel) |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (357 pages) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Materials Electronics Design and Verification Embedded Systems Materials for Devices |
| ISBN | 3-031-85114-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Common-Source Amplifier Feedback using Back-Gate Transconductance -- Chapter 2. Transconductance Amplifier Linearization using Active Back-Gate Input Signal Injection -- Chapter 3. A Gain-enhanced Inverter-based OTA Employing Active Body-Bias Feedback -- Chapter 4. Ultra Low-Power Voltage-Mode VCSEL-Driver with Back-Gate Bias Tuning -- Chapter 5. Maximizing the Figures of Merit, Temperature Range, and Optimizing the Algorithmic Design Methodologies Based on Constant Current Density Bias for FDSOI Analog-Mixed-Signal, Digital, mm-Wave, and Fibreoptic Circuits from the Back-Gate Voltage -- Chapter 6. A Back-Gate Linearization Technique for Current-Steering DACs -- Chapter 7. Highly-Linear T&H-Amplifiers Utilizing Bandwidth Boosting for Time-Interleaved ADCs -- Chapter 8. High-Speed Flash ADC using Bulk-Driven Flash Reference Generation Technique -- Chapter 9. RF Switches in CMOS FDSOI Process – from Circuit Concepts to Implementation -- Chapter 10. Variable Gain-Control with Bulk Biasing in mmW Amplifier. |
| Record Nr. | UNINA-9911018758603321 |
|
Gerfers F (Friedel)
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
