Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Universidad Pontificia de Salamanca (España) 51
- Relajación 41
- Psicología 29
- Terapia de atención plena 28
- Tratamiento 21
- Aspecto psicológico 17
- Economics 16
- Psychology 16
- Cáncer 15
- Documentales 15
- Geografía 14
- Historia 14
- Naturaleza 14
- Stress management 14
- Universidad Pontificia de Salamanca, Facultad de Psicología 14
- Descripción 13
- Universidad Pontificia de Salamanca, Facultad de Psicología 12
- Technology: general issues 12
- aspectos psicológicos 12
- Research & information: general 11
- Relaxation 10
- Computer science 9
- Cáncer y relajación 9
- Psychological aspects 9
- Quimioterapia 9
- Stress (Psychology) 9
- microstructure 9
- Bienestar 8
- Data processing 8
- Estrés (Psicología) 8
-
781Publicado 2011Tabla de Contenidos: “…References -- Green Computing and Resource Management -- GreenWare: Greening Cloud-Scale Data Centers to Maximize the Use of Renewable Energy -- Introduction -- GreenWare Architecture -- Design Methodology of GreenWare -- Problem Formulation -- Response Time and Power Models -- Wind Power Model -- Solar Power Model -- Problem Solution -- Simulation Setup -- Datacenter Parameters -- Renewable Energy Availability -- Real-World Workload Traces -- Electricity Price Traces -- Evaluation Results -- Baselines -- Impacts of the Monthly Cost Budget -- Comparison with Baselines -- Impacts of Pricing Policies of Renewable Energy -- Related Work -- Conclusion -- References -- Resource Provisioning Framework for MapReduce Jobs with Performance Goals -- Introduction -- MapReduce Background -- Profiling MapReduce Jobs -- Job Execution as a Function of Allocated Resources -- Job Performance Invariants as a Job Profile -- MapReduce Performance Model -- General Theoretical Bounds -- Bounds-Based Completion Time Estimates of a MapReduce Job -- Scaling Factors -- Impact of Failures on the Completion Time Bounds -- SLO-Based Resource Provisioning -- Evaluation -- Performance Invariants -- Scaling Factors -- Performance Bounds of Job Completion Times -- SLO-Based Resource Provisioning -- Prediction of Job Completion Time with Failures -- Related Work -- Conclusion -- References -- Resource-Aware Adaptive Scheduling for MapReduce Clusters -- Introduction -- MapReduce and Hadoop -- Resource-Aware Adaptive Scheduler -- Problem Statement -- Architecture -- Performance Model -- Placement Algorithm and Optimization Objective -- Task Scheduler -- Job Profiles -- Evaluation -- Experimental Environment and Workload -- Experiment 1: Execution with Relaxed Completion Time Goals -- Experiment 2: Execution with Tight Completion Time Goals -- Related Work -- Conclusions -- References…”
Libro electrónico -
782Publicado 2019Tabla de Contenidos: “…-- 3.4.1 Stay/stability and Change Dynamics -- 3.4.2 Worthwhile Changes -- 3.4.2.1 One Agent -- 3.4.2.2 Two Interrelated Agents -- 3.4.3 Worthwhile Transitions -- 3.4.4 Ends as Variational Traps -- 3.4.4.1 One Agent -- 3.4.4.2 Two Interrelated Agents -- 3.5 Computing How to Play Nash for Potential Games -- 3.5.1 Linearization of a Potential Game with Costs to Move as Quasi Distances -- References -- 4: Sublinear-like Scalarization Scheme for Sets and its Applications to Set-valued Inequalities -- 4.1 Introduction -- 4.2 Set Relations and Scalarizing Functions for Sets -- 4.3 Inherited Properties of Scalarizing Functions -- 4.4 Applications to Set-valued Inequality and Fuzzy Theory -- 4.4.1 Set-valued Fan-Takahashi Minimax Inequality -- 4.4.2 Set-valued Gordan-type Alternative Theorems -- 4.4.3 Application to Fuzzy Theory -- References -- 5: Functions with Uniform Sublevel Sets, Epigraphs and Continuity -- 5.1 Introduction -- 5.2 Preliminaries -- 5.3 Directional Closedness of Sets -- 5.4 Definition of Functions with Uniform Sublevel Sets -- 5.5 Translative Functions -- 5.6 Nontranslative Functions with Uniform Sublevel Sets -- 5.7 Extension of Arbitrary Functionals to Translative Functions -- References -- 6: Optimality and Viability Conditions for State-Constrained Optimal Control Problems -- 6.1 Introduction -- 6.1.1 Statement of Problem and Contributions -- 6.1.2 Standing Hypotheses -- 6.2 Background -- 6.2.1 Elements of Nonsmooth Analysis -- 6.2.2 Relaxed Controls -- 6.3 Strict Normality and the Decrease Condition -- 6.3.1 Overview of the Approach Taken -- 6.3.2 The Decrease Condition -- 6.4 Metric Regularity, Viability, and the Maximum Principle…”
Libro electrónico -
783Publicado 2018Tabla de Contenidos: “…Cover -- Title Page -- Copyright and Credits -- Dedication -- Packt Upsell -- Contributors -- Table of Contents -- Preface -- Chapter 1: Introduction -- Technical requirements -- Generating Spring Boot Projects -- Opening the generated project with IntelliJ -- Opening the generated project with STS -- Getting started with Spring Boot -- Learning about Spring Boot -- Anatomy of a Spring Boot application -- Supporting the Spring Framework ecosystem in Spring Boot -- Changes since Spring Boot 1.x -- Registering a Spring Bean using ApplicationContextInitializer -- Configuration property binding -- New property binding API -- Property origin -- Tightened rules for governing relaxed property binding -- Environment variables with indices -- Direct binding of property type java.time.Duration in the ISO-8601 form -- Custom endpoints for Spring Boot Actuator using annotations -- Exposing a custom Spring Boot Actuator endpoint -- Extending a custom endpoint with a specialized implementation for the web -- Connecting to a custom endpoint using monitoring and management tools -- Custom metrics using Micrometer -- Custom health indicator -- Using the HTTP/2 protocol -- Securing applications with Spring Security -- The next milestone -- Migration -- Using the correct JDK and JVM -- Running on Java 9 -- Tackling JAXBException -- Using the correct AspectJ version -- Being aware of limitations on Apache Cassandra drivers -- Being aware of issues with the Maven Surefire Plugin -- Using the upgraded Spring Framework 5.0 -- Modified CORS support behavior -- Removed packages, classes, and methods -- Dropped support for frameworks -- Using the updated configuration properties -- Using the changed servlet-specific server properties -- Using the modified template engine extension handling -- Using the changed actuator configuration properties…”
Libro electrónico -
784Publicado 2016Tabla de Contenidos: “…5.3 HSA Memory Consistency Basics -- 5.3.1 Background: Sequential Consistency -- 5.3.2 Background: Conflicts and Races -- 5.3.3 The HSA Memory Model for a Single Memory Scope -- 5.3.3.1 HSA synchronization operations -- 5.3.3.2 Transitive synchronization through different addresses -- 5.3.3.3 Finding a race -- 5.3.4 HSA Memory Model Using Memory Scopes -- 5.3.4.1 Scope motivation -- 5.3.4.2 HSA scopes -- 5.3.4.3 Using smaller scopes -- Scope inclusion -- Scope transitivity -- 5.3.5 Memory Segments -- 5.3.6 Putting It All Together: HSA Race Freedom -- 5.3.6.1 Simplified definition of HSA race freedom -- 5.3.6.2 General definition of HSA race freedom -- 5.3.7 Additional Observations and Considerations -- 5.4 Advanced Consistency in the HSA Memory Model -- 5.4.1 Relaxed Atomics -- 5.4.2 Ownership and Scope Bounding -- 5.5 Conclusions -- References -- Chapter 6: HSA Queuing Model -- 6.1 Introduction -- 6.2 User Mode Queues -- 6.3 Architected Queuing Language -- 6.3.1 Packet Types -- 6.3.2 Building Packets -- 6.4 Packet Submission and Scheduling -- 6.5 Conclusions -- References -- Chapter 7: Compiler Technology -- 7.1 Introduction -- 7.2 A Brief Introduction to C + + AMP -- 7.2.1 C++ AMP array_view -- 7.2.2 C++ AMP parallel_for_each, or Kernel Invocation -- 7.2.2.1 Lambdas or functors as kernels -- 7.2.2.2 Captured variables as kernel arguments -- 7.2.2.3 The restrict(amp) modifier -- 7.3 HSA as a Compiler Target -- 7.4 Mapping Key C++ AMP Constructs to HSA -- 7.5 C++ AMP Compilation Flow -- 7.6 Compiled C++ AMP Code -- 7.7 Compiler Support for Tiling in C++ AMP -- 7.7.1 Dividing Compute Domain -- 7.7.2 Specifying Address Space and Barriers -- 7.8 Memory Segment Annotation -- 7.9 Towards Generic C++ for HSA -- 7.10 Compiler Support for Platform Atomics -- 7.10.1 One Simple Example of Platform Atomics -- 7.11 Compiler Support for New/Delete Operators…”
Libro electrónico -
785Publicado 2014Tabla de Contenidos: “…Intro -- The Art of RF (Riba-Free) Islamic Banking and Finance -- Contents -- Preface to the Second Edition -- Preface: My Story with RF (Islamic) Banking and Finance in America -- Acknowledgments -- About the Book Cover -- CHAPTER 1 Introduction -- NOTES -- CHAPTER 2 The Faith-Based Judeo-Christian-Islamic Foundation of the Prohibition of Interest and the RF (Riba-Free) Banking System -- ISLAM: THE ADDITIONAL AND CLOSING LINK IN THE CHAIN OF JUDAISM AND CHRISTIANITY -- AN INTRODUCTION TO THE JUDEO-CHRISTIAN-ISLAMIC FOUNDATIONS OF FAITH -- The Book -- The People of the Faith -- Loans -- Usury/Interest -- THE JUDAIC POSITION ON THE CHARGING OF RIBIT (INTEREST): MONEY, LENDING, AND INTEREST IN THE TORAH AND THE JEWISH TRADITION -- Loans to the Poor -- Lending to Non-Jews with Interest -- Business Financing -- THE CHARGING OF RIBIT (INTEREST) IN THEROMAN CATHOLIC TRADITION: THEN AND NOW -- Lending to the Poor -- Position of the Contemporary Roman Catholic Churchon Allowing the Charging of Interest -- THE CHARGING OF RIBIT (INTEREST) IN THE TRADITION AND TEACHINGS OF THE EVANGELICAL CHRISTIAN CHURCH -- Lending to the Poor -- Lending to the Enemy -- Business Financing and Relaxation of the Rules of Prohibiting the Charge of Interest -- THE PROHIBITION OF CHARGING OF RIBIT/RIBA (INTEREST/USURY) IN ISLAM -- The Development of the Universal RF System in Islam -- The Concept of God Owning Everything -- Developing the Institution of Giving (Zakah) as a Required Islamic Ritual (Like Prayers) -- Behavioral Guidelines and the Discipline of Giving -- Business Finance -- Types of Riba -- Riba al-Jahiliyah -- Riba al-Fadl -- The Law (Shari'aa) Prohibits Deceptive and Speculative Activities in Business Transactions (Gharar) -- REVIEW QUESTIONS -- NOTES -- CHAPTER 3 The RF Valuation Disciplines of Commodity Indexation and Marking to the Market…”
Libro electrónico -
786por Payne, Rosemary A.
Publicado 1996Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Deusto, Red de Bibliotecas de la Archidiócesis de Granada)Libro -
787Publicado 2022Tabla de Contenidos: “…Round complexity -- 3.5. Relaxed security in proof systems -- 3.5.1. Honest-verifier ZK…”
Libro electrónico -
788por Gurfinkel, ArieTabla de Contenidos: “…4.1 Generating Attractor Caches from Sub-Games -- 4.2 Constructing Sub-games from Abstract Strategy Templates -- 5 Game Solving with Abstract Template-Based Caching -- 6 Experimental Evaluation -- 7 Related Work -- 8 Conclusion -- References -- Learning -- Bisimulation Learning -- 1 Introduction -- 2 Illustrative Example -- 3 Stutter-Insensitive Bisimulations of Deterministic Transition Systems -- 3.1 Model Checking -- 4 Counterexample-Guided Bisimulation Learning -- 4.1 Learner-Verifier Framework for Bisimulation Learning -- 4.2 Binary Decision Tree Partition Templates -- 5 Experimental Evaluation -- 5.1 Discrete-Time Clock Synchronization -- 5.2 Conditional Termination -- 6 Conclusion -- References -- Regular Reinforcement Learning -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Regular Languages -- 3.2 Rational Transductions -- 3.3 Markov Decision Processes -- 4 Regular Markov Decision Processes -- 4.1 Undecidability of Values -- 4.2 Discounted Optimization -- 4.3 Finiteness Conditions -- 4.4 Q-Learning in RMDPs -- 5 Deep Regular Reinforcement Learning -- 5.1 Token Passing -- 5.2 Duplicating Pebbles -- 5.3 Shunting Yard Algorithm -- 5.4 Modified Tangrams -- 6 Conclusion -- References -- LTL Learning on GPUs -- 1 Introduction -- 2 Formal Preliminaries -- 3 High-Level Structure of the Algorithm -- 4 In-Memory Representation of Search Space -- 5 Correctness and Complexity of the Branch-Free Implementation of Temporal Operators -- 6 Relaxed Uniqueness Checks -- 7 Divide & -- Conquer -- 8 Evaluation of Algorithm Performance -- 9 Conclusion -- References -- Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models -- 1 Introduction -- 2 Problem Setup -- 3 Verified Exploration Through Learned Models -- 3.1 Symbolic Environment Models -- 3.2 Shielding for Verified Safe Exploration…”
Publicado 2024
Libro electrónico -
789por O'Sullivan, BryanTabla de Contenidos: “…-- Declaring Typeclass Instances -- Important Built-in Typeclasses -- Show -- Read -- Serialization with read and show -- Numeric Types -- Equality, Ordering, and Comparisons -- Automatic Derivation -- Typeclasses at Work: Making JSON Easier to Use -- More Helpful Errors -- Making an Instance with a Type Synonym -- Living in an Open World -- When Do Overlapping Instances Cause Problems? -- Relaxing Some Restrictions on Typeclasses -- How Does Show Work for Strings?…”
Publicado 2009
Libro electrónico -
790Publicado 2009Tabla de Contenidos: “…Matter waves -- Properties of matter waves -- 4.2 Relativistic correction -- 4.3 Planck's quantum theory of black body radiation -- 4.4 Experimental study of matter waves -- 4.5 Schrödinger's time-independent wave equation -- 4.6 Heisenberg uncertainty principle -- 4.7 Physical significance of the wave function -- 4.8 Particle in a potential box -- (a) Particle in a one-dimensional box [or one dimensional potential well] -- (b) Particle in a rectangular three-dimensional box -- Formulae -- Solved Problems -- Multiple Choice Questions -- Answers -- Review Questions -- Chapter 5: Electron Theory of Metals -- 5.1 Introduction -- 5.2 Classical free electron theory of metals -- To study electrical conductivity -- 5.3 Relaxation time, mean free path, mean collision time and drift velocity -- 5.4 Fermi-Dirac distribution -- 5.5 Quantum free electron theory of electrical conduction -- 5.6 Sources of electrical resistance -- 5.7 Band theory of solids -- (a) Introduction -- (b) Kronig-Penney model - origin of energy bands -- 5.8 Bloch theorem -- 5.9 Origin of energy bands formation in solids -- 5.10 Velocity and effective mass of an electron -- Effective mass of an electron -- 5.11 Distinction between metals, semiconductors and insulators -- Formulae -- Solved Problems -- Multiple Choice Questions -- Answers -- Review Questions -- Chapter 6: Dielectric Properties -- 6.1 Introduction -- 6.2 Dielectric constant -- 6.3 Internal or local field -- 6.4 Clausius-Mosotti relation -- 6.5 Orientational, ionic and electronic polarizations -- (a) Dipolar or orientational polarization -- (b) Ionic polarization -- (c) Electronic polarization -- 6.6 Frequency dependence of polarizability: (Dielectrics in alternating fields) -- 6.7 Piezoelectricity -- 6.8 Ferroelectricity -- 6.9 Frequency dependence of dielectric constant -- Orientational polarization -- Ionic polarization…”
Libro electrónico -
791Publicado 2012Tabla de Contenidos: “…Coelho -- A least square estimator for spin-spin relaxation time in Magnetic Resonance imaging / F. Baselice, G. …”
Libro electrónico -
792por Naidu, S. ManiTabla de Contenidos: “…4.5 Bose-Einstein distribution -- 4.6 Comparison of Maxwell-Boltzmann,Fermi-Dirac and Bose-Einstein distributions -- 4.7 Photon gas -- 4.8 Concept of electron gas and Fermi energy -- 4.9 Density of electron states -- 4.10 Black body radiation -- 4.11 Waves and particles-de Brogliehypothesis-Matter waves -- Matter waves -- Properties of matter waves -- 4.12 Relativistic correction -- 4.13 Planck's quantum theory of black body radiation -- 4.14 Experimental study of matter waves -- 4.14 Schrödinger's time-independent wave equation -- 4.15 Heisenberg uncertainty principle -- 4.16 Physical significance of the wave function -- 4.17 Particle in a potential box -- Formulae -- Solved Problems -- Multiple Choice Questions -- Answers -- Review Questions -- Chapter 5: Electron Theory of Metals -- 5.1 Introduction -- 5.2 Classical free electron theory of metals -- 5.3 Relaxation time, mean free path, mean collision time and drift velocity -- 5.4 Fermi-Dirac distribution -- 5.5 Quantum free electron theory of electrical conduction -- 5.6 Sources of electrical resistance -- 5.7 Band theory of solids -- 5.8 Bloch theorem -- 5.9 Origin of energy bands formation in solids -- 5.10 Velocity and effective mass of an electron -- 5.11 Distinction between metals, semiconductors and insulators -- Formulae -- Solved Problems -- Multiple Choice Questions -- Answers -- Review Questions -- Chapter 6: Dielectric Properties -- 6.1 Introduction -- 6.2 Dielectric constant -- 6.3 Internal or local field -- 6.4 Clausius-Mosotti relation -- 6.5 Orientational, ionic and electronic polarizations -- 6.6 Frequency dependence of polarizability: (Dielectrics in alternating fields) -- 6.7 Piezoelectricity -- 6.8 Ferroelectricity -- 6.9 Frequency dependence of dielectric constant -- Orientational polarization -- Ionic polarization -- Electronic polarization…”
Publicado 2009
Libro electrónico -
793Publicado 2021Tabla de Contenidos: “…Generation of π-walls by a magnetic field -- 4.5.2. Generation and relaxation of circular 2π-walls -- 4.5.3. Cuneitropic origin of the circular 2π-wall -- 4.6. …”
Libro electrónico -
794Publicado 1996Tabla de Contenidos: “…Iterative Sigma Filtering -- Constraint-based Methods -- Parametric Estimation -- 4.3.3 High-speed K-space Coverage Techniques -- 4.3.4 Research Opportunities in Dynamic MR Image Reconstruction -- 4.3.5 Suggested Reading Related to Dynamic MR Image Reconstruction -- 4.4 APPLICATIONS OF DYNAMIC MRI -- 4.4.1 Blood Flow -- Fourier Velocity Encoding -- RF Pulses -- Measurement of Wave Speed and Distensibility -- Postprocessing -- Conclusions Related to MR Imaging of Blood Flow -- 4.4.2 Diffusion Imaging -- Measurement of Diffusion Coefficients in vivo -- Mapping of Diffusion Tensor -- 4.4.3 Other Tissue Parameters -- Relaxation Times -- Oxygen -- Strain -- 4.4.4 Functional Brain MRI -- Contrast Mechanism -- Imaging Techniques -- Hardware Requirements -- Field Strength Considerations As discussed above, local field gradients -- Processing of Functional Images -- Safety Considerations -- Biophysical Modeling -- 4.4.5 Multinuclear MRI -- MR Spectroscopy and Spectroscopic Imaging -- Injected Paramagnetic Contrast Agents and Hyperpolarized Noble Gases -- 4.4.6 Microscopic Imaging -- Resolution -- Signal-to-Noise Ratios -- Gradients -- Diffusion -- Motion -- Future Applications of in vivo MRI Microscopy -- 4.4.7 Research Opportunities Related to Applying Dynamic MRI -- Blood Flow -- Diffusion Imaging -- Other Tissue Parameters -- Functional Brain MRI -- Multinuclear MRI -- Microscopic Imaging -- 4.4.8 Suggested Reading on Applications of Dynamic MRI -- Blood Flow -- Diffusion Imaging -- Other Tissue Parameters -- Functional Brain MRI -- Multinuclear MRI -- Microscopic Imaging -- Chapter 5 Single Photon Emission Computed Tomography -- 5.1 INTRODUCTION -- 5.2 PHYSICAL AND INSTRUMENTATION FACTORS THAT AFFECT SPECT IMAGES -- 5.3 SPECT INSTRUMENTATION -- 5.3.1 SPECT System Designs -- 5.3.2 Special Collimators -- 5.3.3 New Radiation Detector Technologies…”
Libro electrónico -
795por Masson, Suzanne
Publicado 1985Biblioteca de la Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca Universidad de Deusto)Libro -
796
-
797Publicado 2017Tabla de Contenidos: “…Front Cover -- Quantum Inspired Computational Intelligence: Research and Applications -- Copyright -- Dedication -- Contents -- List of Contributors -- About the Editors -- Foreword -- Preface -- Acknowledgments -- Part I : Research -- Chapter 1: Quantum neural computation of entanglement is robust to noise and decoherence -- 1 Introduction and Literature Background -- 2 Dynamic Learning of an Entanglement Indicator -- 3 Learning with Noise -- 4 Decoherence -- 5 Noise Plus Decoherence -- 6 Conclusions -- Acknowledgments -- References -- Chapter 2: Quantum computing and supervised machine learning: Training, model selection, and error estimation -- 1 Introduction -- 2 The Supervised Learning Problem: Training, Model Selection, and Error Estimation -- 3 Classical and Quantum Computing -- 3.1 Classical Computing -- 3.2 Quantum Computing -- 4 Quantum Computing for Training -- 4.1 Bounded Loss Functions -- 4.1.1 Example: The problems behind the convex relaxation -- 4.2 Energy-Efficient Models -- 4.3 Sparse Solutions -- 4.4 Gibbs and Bayes Classifiers -- 5 Quantum Computing for Model Selection and Error Estimation -- 5.1 Out-of-Sample Methods: Hold-Out, Cross Validation, and Bootstrap -- 5.2 Vapnik-Chervonenkis Theory -- 5.3 (Local) Rademacher Complexity Theory -- 5.4 PAC-Bayes Theory -- 5.4.1 Algorithmic stability -- 5.4.2 Compression bound -- 6 Conclusions -- References -- Chapter 3: Field computation: A framework for quantum-inspired computing -- 1 Introduction -- 2 Fields -- 3 Field computation -- 4 Derivatives of Field Transformations -- 5 Examples of Field Computation -- 5.1 Neural Network-Style Computation -- 5.2 Discrete Basis Function Networks -- 5.3 Continua of Basis Functions -- 5.4 Approximations of Spatial Integration and Differentiation -- 5.5 Iterative Field Computation -- 5.6 Field Differential Equations…”
Libro electrónico -
798por Sakiyama, Kazuo, 1971-Tabla de Contenidos: “…4.4.6 Integral Property of AES Reduced to 2.5 Rounds 135 -- 4.4.7 Balanced Property 136 -- 4.4.8 Integral Property of AES Reduced to Three Rounds and Distinguishing Attack 137 -- 4.4.9 Key Recovery Attack with Integral Cryptanalysis for Five Rounds 139 -- 4.4.10 Higher-Order Integral Property + 141 -- 4.4.11 Key Recovery Attack with Integral Cryptanalysis for Six Rounds + 143 -- Further Reading 147 -- 5 Side-Channel Analysis and Fault Analysis on Block Ciphers 149 -- 5.1 Introduction 149 -- 5.1.1 Intrusion Degree of Physical Attacks 149 -- 5.1.2 Passive and Active Noninvasive Physical Attacks 151 -- 5.1.3 Cryptanalysis Compared to Side-Channel Analysis and Fault Analysis 151 -- 5.2 Basics of Side-Channel Analysis 152 -- 5.2.1 Side Channels of Digital Circuits 152 -- 5.2.2 Goal of Side-Channel Analysis 154 -- 5.2.3 General Procedures of Side-Channel Analysis 155 -- 5.2.4 Profiling versus Non-profiling Side-Channel Analysis 156 -- 5.2.5 Divide-and-Conquer Algorithm 157 -- 5.3 Side-Channel Analysis on Block Ciphers 159 -- 5.3.1 Power Consumption Measurement in Power Analysis 160 -- 5.3.2 Simple Power Analysis and Differential Power Analysis 163 -- 5.3.3 General Key Recovery Algorithm for DPA 164 -- 5.3.4 Overview of Attack Targets 169 -- 5.3.5 Single-Bit DPA Attack on AES-128 Hardware Implementations 181 -- 5.3.6 Attacks Using HW Model on AES-128 Hardware Implementations 186 -- 5.3.7 Attacks Using HD Model on AES-128 Hardware Implementations 192 -- 5.3.8 Attacks with Collision Model + 199 -- 5.4 Basics of Fault Analysis 203 -- 5.4.1 Faults Caused by Setup-Time Violations 205 -- 5.4.2 Faults Caused by Data Alternation 208 -- 5.5 Fault Analysis on Block Ciphers 208 -- 5.5.1 Differential Fault Analysis 208 -- 5.5.2 Fault Sensitivity Analysis + 215 -- Acknowledgment 223 -- Bibliography 223 -- 6 Advanced Fault Analysis with Techniques from Cryptanalysis 225 -- 6.1 Optimized Differential Fault Analysis 226 -- 6.1.1 Relaxing Fault Model 226 -- 6.1.2 Four Classes of Faulty Byte Positions 227.…”
Publicado 2015
Libro electrónico -
799Publicado 2016Tabla de Contenidos: “…Synchronization-based objective function -- 6.3.2 Optimization of Topology -- Greedy algorithm -- Relaxed optimization -- Decomposition-based optimization -- Structure-based optimization -- 6.4 Team decision theory -- 6.4.1 Team Decision Theory -- System model -- Values of multiple information structures -- Information structures in networks -- 6.4.2 Team Decision Theory in Optimal Control -- System model -- State teams -- Dynamic teams -- 6.5 Conclusions -- Chapter 7: Communication network operation for CPSs -- 7.1 Introduction -- 7.1.1 Main Challenges -- 7.1.2 Main Approaches -- 7.2 Hybrid system modeling for CPSs -- 7.2.1 Hybrid Systems -- Linear switching system -- Control of linear switching systems -- 7.2.2 Hybrid System Model of a CPS -- Communication mode -- Relationship between communication and dynamics modes -- 7.3 Optimization of scheduling policy -- 7.3.1 Fundamental Challenges -- 7.3.2 Mode Provisioning -- Generic procedure -- Illustration by examples -- 7.3.3 Mode Scheduling -- Centralized mode scheduling -- Distributed scheduling -- 7.4 Scheduling: other approaches -- 7.4.1 Optimization-Based Scheduling -- System model -- Communication constraints -- 7.4.2 Effective Information-Based Scheduling -- Delay-tolerant Kalman filtering -- Definition of virtual queues -- Information bits -- Distributed scheduling -- 7.5 Routing -- 7.5.1 Estimation Oriented Routing -- System model -- Encoder and decoder -- Evolution of covariance -- 7.5.2 System Dynamics-Aware Multicast Routing -- System model -- Single mode routing -- Multiple routing modes -- 7.6 Conclusions -- Chapter 8: Physical layer design -- 8.1 Introduction -- 8.1.1 Modulation -- 8.1.2 Coding -- Source coding -- Channel coding -- 8.2 Adaptive modulation -- 8.2.1 System Model -- Physical dynamics -- Communication channel…”
Libro electrónico -
800por Sullivan, LukeTabla de Contenidos: “…Seriously -- If you're stuck, relax -- Leave the room and go work somewhere else -- Get off the stinkin' computer -- Ignore the little voice that says, "I'm just a hack on crack from Hackensack. -- Go to the store where they sell the stuff…”
Publicado 2012
Libro electrónico