Advanced Boolean Techniques [[electronic resource] ] : 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 |
Soggetto non controllato | Mathematics |
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 | ||
|
Complex Systems and Their Applications [[electronic resource] ] : Fourth International Conference (EDIESCA 2023) / / edited by Eric Campos-Cantón, Guillermo Huerta-Cuellar, Ernesto Zambrano-Serrano, Esteban Tlelo-Cuautle |
Autore | Campos-Cantón Eric |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (360 pages) |
Disciplina | 530.1 |
Altri autori (Persone) |
Huerta-CuellarGuillermo
Zambrano-SerranoErnesto Tlelo-CuautleEsteban |
Soggetto topico |
System theory
Nonlinear Optics Computer Networks Electronic circuit design Complex Systems Electronics Design and Verification |
ISBN | 3-031-51224-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part 1: Artificial Intelligence Applied to Dynamics and Complexity -- Chapter 1. Classification of Chaotic Dynamics Through Time-Frequency Representations and Machine Learning -- Chapter 2. Optimization of echo state neural networks to solve classification problems -- Chapter 3. Deep Learning in the Expansion of the Urban Spot -- Part 2: Biomedical Advancements in Rehabilitation Through Complex Systems -- Chapter 4. Solving Inverse Kinematics Problem for Manipulator Robots Using Artificial Neural Network with Varied Dataset Formats -- Chapter 5. CRNN-based Classification of EMG Signals for the Rehabilitation of the Human Arm -- Chapter 6. LMI-based Design of a Robust Affine Control law for the Position Control of a Knee Exoskeleton Robot: Comparative Analysis of Stability Conditions -- Chapter 7. Position Control of Robotic Systems via Linear Controllers with Application to a Lower Limb Rehabilitation Exoskeleton Robot: Design and Comparative Analysis -- Part 3: Controlling Dynamical and Complex Systems -- Chapter 8. Synchronization of memristive Hindmarsh-Rose neurons connected by memristive synapses -- Chapter 9. A systematic approach for Multi-switching compound synchronization of non-identical chaotic systems using optimal control -- Chapter 10. Limit Cycle Generation by Inducing the Controllable Hopf Bifurcation -- Chapter 11. Cascading Timers: The new method to Solve the Sequential Problems Including Timers in Automation Systems -- Chapter 12. Mixed Sensitivity Control of Euler-Lagrange Models -- Part 4: Applications of Chaotic and Complex Systems -- Chapter 13. A New 4-D Four-Scroll Hyperchaotic System with Multistability, Coexisting Attractors and its Circuit Realization -- Chapter 14. Secure Communication System Based on Multi-Stability: Evaluation using the SCAMPER Method for Innovation Projects -- Chapter 15. An Image Compression and Encryption Approach with Convolutional Layers, Two Dimensional Sparse Recovery and Chaotic Dynamics -- Chapter 16. Comparative study of the viscoelastic behavior on PLA filaments, a fractional calculus approach -- Chapter 17. A New 4-D Highly Chaotic Two-Scroll System with a Hyperbola of Equilibrium Points and its Circuit Simulation. |
Record Nr. | UNINA-9910842492803321 |
Campos-Cantón Eric | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Complex Systems and Their Applications [[electronic resource] ] : Second International Conference (EDIESCA 2021) / / edited by Guillermo Huerta Cuéllar, Eric Campos Cantón, Esteban Tlelo-Cuautle |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (267 pages) |
Disciplina | 003 |
Soggetto topico |
System theory
Dynamics Nonlinear theories Engineering mathematics Engineering - Data processing Electronic circuit design Engineering design Multibody systems Vibration Mechanics, Applied Complex Systems Applied Dynamical Systems Mathematical and Computational Engineering Applications Electronics Design and Verification Engineering Design Multibody Systems and Mechanical Vibrations |
ISBN | 3-031-02472-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Complex systems -- Chaotic dynamics -- Synchronization of complex systems -- Secure communication systems -- Electronic implementation of chaotic systems -- Nonlinear systems in Perception. |
Record Nr. | UNISA-996478859503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Complex Systems and Their Applications [[electronic resource] ] : Second International Conference (EDIESCA 2021) / / edited by Guillermo Huerta Cuéllar, Eric Campos Cantón, Esteban Tlelo-Cuautle |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (267 pages) |
Disciplina | 003 |
Soggetto topico |
System theory
Dynamics Nonlinear theories Engineering mathematics Engineering - Data processing Electronic circuit design Engineering design Multibody systems Vibration Mechanics, Applied Complex Systems Applied Dynamical Systems Mathematical and Computational Engineering Applications Electronics Design and Verification Engineering Design Multibody Systems and Mechanical Vibrations |
ISBN | 3-031-02472-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Complex systems -- Chaotic dynamics -- Synchronization of complex systems -- Secure communication systems -- Electronic implementation of chaotic systems -- Nonlinear systems in Perception. |
Record Nr. | UNINA-9910574858403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes [[electronic resource] ] : Better Early than Never / / by Pascal Pieper, Rolf Drechsler |
Autore | Pieper Pascal |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (190 pages) |
Disciplina | 006.22 |
Altri autori (Persone) | DrechslerRolf |
Soggetto topico |
Embedded computer systems
Electronic circuit design Electronics Embedded Systems Electronics Design and Verification Electronics and Microelectronics, Instrumentation |
ISBN | 3-031-51692-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Preliminaries -- Hardware and Environment Modeling -- Verification -- Conclusion and Future Work. |
Record Nr. | UNINA-9910845488603321 |
Pieper Pascal | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hardware Security Primitives [[electronic resource] /] / by Mark Tehranipoor, Nitin Pundir, Nidish Vashistha, Farimah Farahmandi |
Autore | Tehranipoor Mohammad H. <1974-> |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (356 pages) |
Disciplina | 929.605 |
Soggetto topico |
Electronic circuits
Electronic circuit design Microprocessors Computer architecture Electronic Circuits and Systems Electronics Design and Verification Processor Architectures |
ISBN | 3-031-19185-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Hardware Security Primitives and their Applications -- Racetrack PUF -- TERO PUF -- Direct Characterization PUF -- Volatile Memory Based PUF -- Emerging Memory Based PUF -- Extrinsic Characterization of PUF -- Radio PUFs and CoAs -- Optical PUFs -- True Random Number Generators -- Hardware Camouflaging -- Temper Detection Methods -- Embedded Watermarking -- Counterfeit and Recycled IC Detection -- Package-Level Counterfeit IC Detection -- Side Channels Protection in Cryptographic Hardware -- Fault Injection Resistant Cryptographic Hardware -- Energy and Performance Optimization for Cryptography -- Lightweight Cryptography -- Post-Quantum Cryptography -- Virtual Proof of Reality -- Analog Security. |
Record Nr. | UNINA-9910635396903321 |
Tehranipoor Mohammad H. <1974-> | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hardware Security Training, Hands-on! [[electronic resource] /] / by Mark Tehranipoor, N. Nalla Anandakumar, Farimah Farahmandi |
Autore | Tehranipoor Mark |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (XXIV, 320 p. 250 illus., 218 illus. in color.) |
Disciplina | 621.3815 |
Soggetto topico |
Electronic circuits
Embedded computer systems Electronic circuit design Electronic Circuits and Systems Embedded Systems Electronics Design and Verification |
ISBN | 3-031-31034-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Physical Unclonable Functions (PUFs) -- Chapter 2. True Random Number Generator (TRNG) -- Chapter 3. Recycled Chip Detection using RO-based Odometer -- Chapter 4. Recycled FPGA Detection -- Chapter 5. Hardware Trojan Insertion -- Chapter 6. Hardware Trojan Detection -- Chapter 7. Security Verification -- Chapter 8. Power Analysis Attacks on AES -- Chapter 9. EM Side-Channel Attack on AES -- Chapter 10. Logic Locking Insertion and Assessment -- Chapter 11. Clock Glitch Fault Attack on FSM in AES Controller -- Chapter 12. Voltage Glitch Attack on an FPGA AES Implementation -- Chapter 13. Laser Fault Injection Attack (FIA) -- Chapter 14. Optical Probing Attack on Logic Locking -- Chapter 15. Universal Fault Sensor -- Chapter 16. Scanning Electron Microscope Training. |
Record Nr. | UNINA-9910742492103321 |
Tehranipoor Mark | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Polynomial Formal Verification of Approximate Functions [[electronic resource] /] / by Martha Schnieber |
Autore | Schnieber Martha |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 |
Descrizione fisica | 1 online resource (87 pages) |
Disciplina | 512.942 |
Collana | BestMasters |
Soggetto topico |
Electronic circuits
Electronic circuit design Algebra Mathematics - Data processing Electronic Circuits and Systems Electronics Design and Verification Computational Mathematics and Numerical Analysis |
ISBN | 3-658-41888-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Preliminaries -- RelatedWork -- PolynomialVerification -- Experiments -- Conclusion. |
Record Nr. | UNINA-9910735787803321 |
Schnieber Martha | ||
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems [[electronic resource] /] / by Behnaz Ranjbar, Alireza Ejlali, Akash Kumar |
Autore | Ranjbar Behnaz |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (205 pages) |
Disciplina | 006.22 |
Altri autori (Persone) |
EjlaliAlireza
KumarAkash |
Soggetto topico |
Electronic circuits
Embedded computer systems Electronic circuit design Electronic Circuits and Systems Embedded Systems Electronics Design and Verification |
ISBN | 3-031-38960-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Preliminaries and Literature Reviews -- Bounding Time in Mixed-Criticality Systems -- Safety- and Task-Drop-Aware Mixed-Criticality Task Scheduling -- Learning-Based Drop-Aware Mixed-Criticality Task Scheduling -- Fault-Tolerance and Power-Aware Multi-Core Mixed-Criticality System Design -- QoS- and Power-Aware Run-Time Scheduler for Multi-Core Mixed-Criticality Systems -- Conclusion. |
Record Nr. | UNINA-9910760267403321 |
Ranjbar Behnaz | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Quantum computing : circuits, systems, automation and applications / / edited by Himanshu Thapliyal, Travis Humble |
Pubbl/distr/stampa | Cham : , : Springer, , [2024] |
Descrizione fisica | 1 online resource (290 pages) : illustrations |
Disciplina | 006.3843 |
Soggetto topico |
Electronic circuits
Quantum computing Embedded computer systems Electronic circuit design Electronic Circuits and Systems Quantum Information Embedded Systems Electronics Design and Verification |
ISBN |
3-031-37966-7
9783031379666 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Quantum Computing -- Quantum Circuit Synthesis -- Quantum Arithmetic Circuits -- Quantum Resource Estimation -- Quantum Compiler and Programming Languages -- Validation and Testing in Quantum Computing -- Quantum Computing Security -- Applications of Quantum Computing to fields such as Quantum Chemistry, Linear Algebra, Scientific Applications, Material Science, Machine Learning, etc. -- Quantum Technologies: Superconducting, Trapped Ions, Spintronics, Cryogenic Electronics for Quantum Computing. |
Record Nr. | UNINA-9910766891503321 |
Cham : , : Springer, , [2024] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|