Accés restringit als usuaris de la URL (Blanquerna)
Accés off campus usuaris Blanquerna

Tabla 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…”

Tabla 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…”

Tabla 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…”

Tabla 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…”

Tabla de Contenidos: “…. -- Figure 34: Seti I being presented with jubilee festivals, life, and dominion by Re-Horakhty and Weret Hekau, whose offerings are suspended from notched palm branches symbolizing longevity -- inscribed on the interior face of the north wall, hypostyle hall, -- The king in time and the ever-present ideal -- The ritual landscape as a reflection of Dt in nHH. -- Figure 35: the name of the monument of Ramesses III in the first hypostyle hall at Medinet Habu, Western Thebes. …”

Enlace del recurso

Tabla de Contenidos: “…Round complexity -- 3.5. Relaxed security in proof systems -- 3.5.1. Honest-verifier ZK…”

Tabla 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 &amp -- 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…”

Tabla 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?…”

Tabla 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…”

Tabla de Contenidos: “…Coelho -- A least square estimator for spin-spin relaxation time in Magnetic Resonance imaging / F. Baselice, G. …”

Tabla 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…”

Tabla 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. …”

Tabla 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…”