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.
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 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 | ||
| ||
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 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 Friedel
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chip-Scale Power Supplies for DC-Link and Grid Applications / / by Christoph Rindfleisch, Bernhard Wicht
| Chip-Scale Power Supplies for DC-Link and Grid Applications / / by Christoph Rindfleisch, Bernhard Wicht |
| Autore | Rindfleisch Christoph |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 621.313 |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Power electronics Electronics Design and Verification Embedded Systems Power Electronics |
| ISBN | 3-031-60820-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Motivation and Challenges -- High Voltage DC DC Converters -- AC DC Conversion -- Low Power Subcircuits for High Voltage Designs -- Circuit Design in SOI -- Conclusion and Outlook. |
| Record Nr. | UNINA-9910866576103321 |
|
Rindfleisch Christoph
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CMOS Plasma and Process Damage / / by Kirk Prall
| CMOS Plasma and Process Damage / / by Kirk Prall |
| Autore | Prall Kirk |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XIX, 466 p. 399 illus., 368 illus. in color.) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Solid state physics Electronics Design and Verification Embedded Systems Electronic Devices |
| ISBN | 3-031-89029-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. BACKGROUND -- Chapter 2. THE ANTENNA EFFECT -- Chapter 3. DIODE AND TRANSISTOR PROTECTION -- Chapter 4. SIGNATURES OF PROCESS DAMAGE -- Chapter 5. ELECTRICAL SIGNATURES OF PROCESS DAMAGE -- Chapter 6. LATENT DAMAGE AND RELIABILITY DEGRADATION -- Chapter 7. ATOMIC-LEVEL DEFECTS AND ELECTRICAL EFFECTS -- Chapter 8. TECHNOLOGY SPECIFIC PROCESS DAMAGE -- Chapter 9. COMMON SOURCES OF PROCESS DAMAGE -- Chapter 10. INLINE PROCESS DAMAGE MEASUREMENTS -- Chapter 11. PROCESS DAMAGE TEST STRUCTURES -- Chapter 12. DESIGN RULES RELATED TO PROCESS DAMAGE -- Chapter 13. PARAMETRIC DAMAGE TESTING STRATEGY AND PROCEDURES -- Chapter 14. THE ROLE OF HYDROGEN -- Chapter 15. METALLIC DEFECTS -- Chapter 16. MOBILE ION CONTAMINATION -- Chapter 17. FIXED CHARGE. |
| Record Nr. | UNINA-9911003689103321 |
|
Prall Kirk
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CMOS-based Portable NMR/MRI Microsystems / / by Shuhao Fan, Qi Zhou, Ka-Meng Lei, Rui P. Martins, Pui-In Mak
| CMOS-based Portable NMR/MRI Microsystems / / by Shuhao Fan, Qi Zhou, Ka-Meng Lei, Rui P. Martins, Pui-In Mak |
| Autore | Fan Shuhao |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (131 pages) |
| Disciplina | 621.3815 |
| Altri autori (Persone) |
ZhouQi
LeiKa-Meng MartinsRui P MakPui-In |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Electronics Electronics Design and Verification Embedded Systems Electronics and Microelectronics, Instrumentation |
| ISBN | 3-031-91447-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ch 1: Introduction -- Ch 2: State-of-the-Art ASIC for micro-NMR Transceiver: Architecture and Design Considerations -- Ch 3: A Miniaturized 3-D-MRI Scanner Featuring a High-Voltage SOI ASIC -- Ch 4: A Miniature Multi-Nuclei NMR/MRI Platform with a High-Voltage SOI ASIC -- Ch 5: Non-Invasive Object Reconstruction and Flow Analysis -- Ch 6: Conclusion and Outlook. |
| Record Nr. | UNINA-9911011348903321 |
|
Fan Shuhao
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
