Mostrando 11,501 - 11,520 Resultados de 12,742 Para Buscar 'Ginegar~', tiempo de consulta: 1.61s Limitar resultados
  1. 11501
    Publicado 2024
    Tabla de Contenidos: “…4 Quantum Hilbert spaces and their creation -- 4.1 Explicit Hilbert spaces underlying quantum technology -- 4.2 Complexification -- 4.3 Dual space used in quantum -- 4.4 Double dual Hilbert space -- 4.5 Outer product -- 4.6 Multilinear forms, wedge, and interior products -- 4.7 Many-sorted algebra for tensor vector spaces -- 4.8 The determinant -- 4.9 Tensor algebra -- 4.10 Many-sorted algebra for tensor product of Hilbert spaces -- 4.11 Hilbert space of rays -- 4.12 Projective space -- References -- 5 Quantum and machine learning applications involving matrices -- 5.1 Matrix operations -- 5.2 Qubits and their matrix representations -- 5.3 Complex representation for the Bloch sphere -- 5.4 Interior, exterior, and Lie derivatives -- 5.5 Spectra for matrices and Frobenius covariant matrices -- 5.6 Principal component analysis -- 5.7 Kernel principal component analysis -- 5.8 Singular value decomposition -- References -- 6 Quantum annealing and adiabatic quantum computing -- 6.1 Schrödinger's characterization of quantum -- 6.2 Quantum basics of annealing and adiabatic quantum computing -- 6.3 Delta function potential well and tunneling -- 6.4 Quantum memory and the no-cloning theorem -- 6.5 Basic structure of atoms and ions -- 6.6 Overview of qubit fabrication -- 6.7 Trapped ions -- 6.8 Super-conductance and the Josephson junction -- 6.9 Quantum dots -- 6.10 D-wave adiabatic quantum computers and computing -- 6.11 Adiabatic theorem -- Reference -- Further reading -- 7 Operators on Hilbert space -- 7.1 Linear operators, a MSA view -- 7.2 Closed operators in Hilbert spaces -- 7.3 Bounded operators -- 7.4 Pure tensors versus pure state operators -- 7.5 Trace class operators -- 7.6 Hilbert-Schmidt operators -- 7.7 Compact operators -- References -- 8 Spaces and algebras for quantum operators…”
    Libro electrónico
  2. 11502
    por Huang, Wentao
    Publicado 2024
    Tabla de Contenidos: “…8.2 Problem Formulation -- 8.3 The FB-DSR Strategy -- 8.3.1 Day-Ahead Complete-Period DSR Optimization -- 8.3.2 Short-Term Power Volatility Suppression -- 8.4 Case Studies -- 8.4.1 Case Description -- 8.4.2 The Results of the Proposed Strategy -- 8.4.3 Comparative Studies -- 8.4.4 Short-Term Volatility Suppression Effect -- 8.5 Conclusion -- References -- 9 Energy Cascade Utilization of Electric-Thermal Port Microgrids -- 9.1 Introduction -- 9.2 Electric-Thermal Port Microgrids -- 9.2.1 Structure of Electric-Thermal Port Microgrids -- 9.2.2 Cascaded Utilization of the Electric-Thermal Microgrids -- 9.3 Energy Flow Analysis of Cascaded Utilization in Electric-Thermal Port Microgrids -- 9.3.1 The Coupling Relationship of Energy Flow -- 9.3.2 Energy Grade Conversion Model -- 9.3.3 Energy Supply and Demand Analysis -- 9.4 Optimization Strategy for Cascaded Utilization of Electric-Thermal Microgrids -- 9.4.1 Objective Function -- 9.4.2 Constraints -- 9.4.3 Solution Methodology -- 9.5 Case Studies -- 9.5.1 Case Description -- 9.5.2 Results Analysis -- 9.5.3 Economic Analysis of Diverse Energy Supply Structures -- 9.6 Conclusion -- References -- 10 Optimal Coordination Operation of Port Integrated Energy Systems -- 10.1 Introduction -- 10.2 Structure of Port Integrated Energy Systems (PIES) -- 10.3 PIES Formulation -- 10.3.1 Logistics System -- 10.3.2 Energy System -- 10.3.3 The Nexus Between Logistics System and Energy System -- 10.3.4 Coordinated Optimization of PIES -- 10.4 Solution Methodology -- 10.4.1 Linearizing Logistic Constraints -- 10.4.2 Convexifying the Energy Systems Equations -- 10.4.3 The Final Optimization Formulation of PIES -- 10.5 Case Studies -- 10.5.1 Case of Sufficient Berths -- 10.5.2 Case of Berth Congestion -- References -- 11 Joint Scheduling of Power Flow and Berth Allocation in Port Microgrids -- 11.1 Introduction…”
    Libro electrónico
  3. 11503
    Publicado 2016
    Tabla de Contenidos: “…Example 1 -- Solution -- Example 2 -- 2.1 EXERCISES -- 2.2 ADDITION, SUBTRACTION, MULTIPLICATION, AND DIVISION OF MONOMIALS -- Example 1 -- Example 2 -- Example 3 -- 2.2.1 Rules for multiplication of monomials -- Example 1 -- 2.2.2 Rules for division of monomials -- Example 1 -- Solution -- 2.2.3 Addition, subtraction, multiplication, and division of polynomials -- Example 1 -- Example 2 -- Solution -- Example 3 -- Solution -- Example 4 -- Solution -- 2.2 EXERCISES -- 2.3 RATIO, PROPORTION, AND VARIATION -- 2.3.1 Ratio -- Example 1 -- Solution -- Example 2 -- Solution -- Example 3 -- Solution -- Example 4 -- Solution -- Example 5 -- Solution -- 2.3.2 Proportion -- Example 1 -- Solution -- Example 2 -- Solution -- 2.3.3 Variation -- Example 1 -- Solution -- Example 2 -- Solution -- Example 3 -- Solution -- Example 4 -- Solution -- 2.3 EXERCISES -- CHAPTER 2 REVIEW EXERCISES -- 3 - Equations, Inequalities, and Modeling -- INTRODUCTION -- 3.1 EQUATIONS -- Example 1 -- Example 2 -- Solution -- 3.1.1 Constructing models to solve problems with one variable -- Example 1 -- Solution -- Example 2 -- Solution -- 3.1.2 Equations with two variables -- Example 1 -- Solution -- 3.1.3 Quadratic equations -- Example 1 -- Solution -- 3.1.4 Equations with rational, radical, and absolute value -- 3.1.4.1 Rational equation -- Example 1 -- Solution -- 3.1.4.2 Radical equation -- Example 1 -- Solution -- 3.1.4.3 Absolute value equation -- Example 1 -- Solution -- 3.1 EXERCISES -- 3.2 INEQUALITY EQUATIONS AND INTERVALS -- Example 1 -- Example 2 -- Solution -- Example 3 -- Solution -- Example 4 -- 3.2.1 Solving linear inequality -- Example 1 -- Solution -- Example 2 -- Solution -- Example 3 -- Solution -- 3.2.1.1 Inequality involving absolute value (||) -- Example 1 -- Solution -- Example 2 -- Solution -- 3.2 EXERCISES -- 3.3 COMPLEX NUMBERS -- Example 1 -- Solution…”
    Libro electrónico
  4. 11504
    Publicado 2023
    Tabla de Contenidos: “…3.2 Hierarchical Structuring of Matter: Diatom Algae and the Bio-Assisted Nanostructured Additive Manufacturing Paradigm -- 3.3 Structural Design of Diatom Frustules -- 3.4 Mechanical Performance of Diatom Frustules - Experimental Characterization -- 3.4.1 Nanoindentation Testing of Diatom Frustules -- 3.4.2 AFM Studies of Diatom Frustules -- 3.5 Engineering Applications of Diatomaceous Earth -- 3.6 NEMS/MEMS Perspective -- 3.7 On the Mathematical Description of Self-Organized Diatom Frustule Growth -- 3.8 On the Kinetics of Diatom Colony Growth -- 3.9 Advanced Pattern Analysis of the Hierarchical Structure of Diatom Frustules -- 3.10 Concluding Remarks -- Acknowledgement -- References -- Part II: Diatom Development, Growth and Metabolism -- Chapter 4 Ring to the Linear: Valve Ontogeny Indicates Two Potential Evolutionary Pathways of Core Araphid Diatoms -- 4.1 Introduction -- 4.2 Material and Methods -- 4.2.1 Fragilaria mesolepta -- 4.2.2 Staurosira binodis -- 4.2.3 Induction of Synchronous Division -- 4.2.4 Electron Microscopy -- 4.3 Results -- 4.3.1 Fragilaria mesolepta -- 4.3.2 Staurosira binodis -- 4.4 Discussion -- 4.5 Conclusion -- References -- Chapter 5 Mathematical Basis for Diatom Growth Modeling -- 5.1 Introduction -- 5.2 General Physiology of Diatoms -- 5.3 Mathematical View of Diatom Growth -- 5.4 Physical Basis for Diatom Modeling -- 5.4.1 Diatom Dimensions -- 5.4.2 Ambient Temperature -- 5.4.3 Light Intensity and Duration -- 5.5 Review of Existing Mathematical Models -- 5.5.1 Gompertz Model -- 5.5.2 Monod Model -- 5.5.3 Michaelis-Menten Model -- 5.5.4 Droop Model -- 5.5.5 Aquaphy Model -- 5.5.6 Mechanistic Model -- 5.6 Results -- 5.7 Conclusion -- 5.8 Prospects -- References -- Chapter 6 Diatom Growth: How to Improve the Analysis of Noisy Data -- 6.1 Introduction -- 6.1.1 What is a Growth Curve? …”
    Libro electrónico
  5. 11505
    Publicado 2023
    Tabla de Contenidos: “…11.3.3 Accelerator Driven Systems (CADS) -- 11.3.4 CiADS (China Initiative Accelerator Driven System) -- 11.3.5 Japan Atomic Energy Agency (JAEA) - ADS -- 11.3.6 High‐Intensity Proton Accelerator Development in India -- 11.3.7 PIP‐II and Beyond -- 11.4 Electrons for Light Sources - Linacs -- 11.4.1 European X‐ray Free Electron Laser (EXFEL) -- 11.4.2 Linac Coherent Light Source LCLS‐II and LCLS‐HE (LCLS‐High Energy) -- 11.4.3 Shanghai Coherent Light Facility (SCLF) SHINE -- 11.4.4 Institute of Advanced Science Facilities (IASF) -- 11.4.5 Polish Free‐Electron Laser POLFEL -- 11.5 Electrons for Storage Ring Light Sources -- 11.5.1 High‐Energy Photon Source (HEPS) -- 11.5.2 Taiwan Photon Source (TPS) -- 11.5.3 Higher Harmonic Cavities for Storage Rings Chaoen WANG, NSRRC, Taiwan -- 11.5.4 BNL -- 11.6 Electrons in Energy Recovery Linacs (ERL) for Light Sources &amp -- Electron-Ion Colliders -- 11.6.1 Prototyping ERL Technology at Cornell -- 11.6.2 KEK ERLs -- 11.6.3 Light‐House Project for Radiopharmaceuticals -- 11.6.4 Peking ERL -- 11.6.5 Berlin ERL -- 11.6.6 MESA ERL -- 11.6.7 SRF Photo‐injectors for ERLs -- 11.7 Electrons for Nuclear Physics, Nuclear Astrophysics, Radio‐Isotope Production -- 11.7.1 CEBAF at Jefferson Lab -- 11.7.2 ARIEL at TRIUMF -- 11.7.3 ERL for LHeC at CERN -- 11.8 Crab Cavities for LHC High Luminosity -- 11.9 Ongoing and Near‐Future Projects Summary -- Chapter 12 Future Prospects for Large‐Scale SRF Applications -- 12.1 The International Linear Collider (ILC) for High‐Energy Physics -- 12.2 Future Circular Collider FCCee -- 12.3 China Electron-Positron Collider, CEPC -- Chapter 13 Quantum Computing with SRF Cavities -- 13.1 Introduction to Quantum Computing -- 13.2 Qubits -- 13.3 Superposition and Coherence -- 13.4 Entanglement -- 13.5 2D SRF Qubits -- 13.6 Josephson Junctions…”
    Libro electrónico
  6. 11506
    por Gurfinkel, Arie
    Publicado 2024
    Tabla de Contenidos: “…3.3 Decidability and Finite Counterexamples via EPR -- 4 Invariant Inference -- 5 Designing mypyvy's Internals -- 6 Works Using mypyvy -- 7 Related Work -- References -- Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas -- 1 Introduction -- 2 Background -- 3 Subsumption-Based Representation of Sets of Formulas -- 3.1 Bounded First-Order Languages -- 3.2 Syntactic Subsumption -- 3.3 Canonicalization -- 3.4 Representing Sets of Formulas -- 4 The Weaken Operator -- 4.1 Weakening a Single Canonical Formula -- 4.2 Weakening Sets of Formulas -- 4.3 Design Consideration and Tradeoffs -- 5 Data Structure for Sets of Formulas -- 6 Implementation and Evaluation -- 6.1 Implementation -- 6.2 Experiments -- 6.3 Results -- 7 Related Work -- 8 Conclusion -- References -- Verifying Cake-Cutting, Faster -- 1 Introduction -- 2 Cake-Cutting Preliminaries -- 3 Language and Type System -- 3.1 Syntax of Base Slice -- 3.2 A Linear Type System for Slice -- 3.3 Semantics -- 3.4 Disjointness -- 4 Constraints -- 5 Piecewise Uniform Reduction -- 5.1 Replicating Protocol Executions -- 5.2 Piecewise Uniform Valuations -- 5.3 Piecewise Uniform Replacement -- 6 Implementation and Evaluation -- 7 Related and Future Work -- References -- Runtime Verification and Monitoring -- General Anticipatory Runtime Verification -- 1 Introduction -- 2 Lola Monitoring Revisited -- 2.1 Recurrent Monitoring -- 2.2 Lola -- 3 Lola Recurrent Online Monitoring Semantics -- 4 An Abstraction Framework for Lola Monitoring -- 5 Abstraction-Based Recurrent Lola Monitoring -- 6 Symbolic Recurrent Lola Monitoring -- 7 Empirical Evaluation -- 8 Conclusion -- References -- Proactive Real-Time First-Order Enforcement -- 1 Introduction -- 2 Preliminaries -- 3 Proactive, Real-Time, First-Order Enforcement -- 3.1 System Model -- 3.2 Enforcers -- 4 Enforceable MFOTL Formulae…”
    Libro electrónico
  7. 11507
    Publicado 2007
    Tabla de Contenidos: “…9.3 Finite Automata and Regular Sets -- 9.3.1 States and Transitions -- 9.3.2 Finite Automata -- 9.3.3 Semantic Actions -- 9.3.4 A Sample Lexical Analyzer -- 9.4 More on Regular Sets -- 9.4.1 Some Closure Properties of Regular Sets -- 9.4.2 The Product Construction -- 9.5 Nondetenninistic Finite Automata -- 9.5.1 Nondeterminism -- 9.5.2 Nondeterministic Finite Automata -- 9.5.3 Equivalence of DFAs and NFAs -- 9.6 The Subset Construction -- 9.6.1 Formal Definition of Nondeterministic Finite Automata -- 9.6.2 The Subsets Construction: General Account -- 9.6.3 e -Transition -- 9.6.4 More Closure Properties -- Chapter 10: Program Verification -- 10.1 Introduction -- 10.2 A Simple Example -- 10.3 Linear Search -- Chapter 11: Design of Algorithms -- 11.1 Introduction -- 11.2 Greedy Algoritluns -- 11.2.1 Greedy Algorithms-When to Apply -- 11.2.2 Greedy Approach for CPU Scheduling -- 11.3 Backtracking -- 11.4 Divide and Conquer -- 11.4.1 Model of Divide and Conquer -- 11.4.2 Finding the mth Smallest Element -- 11.5 Dynamic Programming -- 11.5.1 Shortest Path from I to l -- Bibliography -- Index…”
    Libro electrónico
  8. 11508
    por Cleland, David I.
    Publicado 2006
    Tabla de Contenidos: “…Traditional Organizational Chart -- 11.13. Linear Responsibility Chart -- 11.14. Work Packages -- 11.15. …”
    Libro electrónico
  9. 11509
    por Haykin, Simon S., 1931-
    Publicado 2009
    Tabla de Contenidos: “…Khan, Soummya Kar and Jos A A Moura) -- 17.1 Introduction -- 17.2 Preliminaries -- 17.3 Distributed Detection -- 17.4 Consensus Algorithms -- 17.5 Zero-Dimension (Average) Consensus -- 17.6 Consensus in Higher Dimensions -- 17.7 Leader-Follower (Type) Algorithms -- 17.8 Localization in Sensor Networks -- 17.9 Linear System of Equations: Distributed Algorithm -- 17.10 Conclusions -- References. -- 18. …”
    Libro electrónico
  10. 11510
    Publicado 2019
    Tabla de Contenidos: “…20.4 Multivariate Results -- 20.4.1 Firm Value -- 20.4.2 Firm Riskiness and Firm Accounting Performance -- 20.5 Conclusion -- References -- Appendix: Estimated MTEs -- Chapter 21 Exercises -- Exercise 1 Portfolio Choice and the Notion of Value at Risk (VaR) -- Calculating VaR -- Incremental VaR -- Reference -- Solution for Exercise 1 -- Conclusion Regarding the Calculations for the VaR -- Incremental VaR -- Exercise 2 Backtesting of VaR Models -- The Importance of Backtesting -- Definitions for the Backtesting -- Validation of the Model over a Longer Period -- Linear Regression Approach -- References -- Exercise 3 Calculation of VaR with Different Distributions and Accuracy of VaR -- Calculating VaR using a Lognormal or Truncated Normal Distribution -- Estimating the Precision of the VaR Calculated -- Solution to Exercise 3 -- Precision Estimation of the Calculated VaR -- References -- Exercise 4 VaR for an Equity Portfolio with Options -- Part A Choosing a Portfolio Application of VaR Calculations with Real Data from a Stock Portfolio -- Part B Application of the Delta and Delta‐Gamma Methods to Calculate VaR -- Risk Exposure of the Portfolio by the Delta Approach -- Risk Exposure of the Portfolio by the Delta‐Gamma Approach -- Solution to Exercise 4 -- Exercise 5 CVaR Conditional Value at Risk -- Mathematical Expressions of CVaR -- Recapitulation of the Three Models: Normal Distribution, Student's t, and Mixture of Two Normal Distributions -- Conclusion -- Reference -- Conclusion -- General References -- Index -- EULA…”
    Libro electrónico
  11. 11511
    Publicado 2020
    Tabla de Contenidos: “…Chapter 4: Regime-switching Methods for Forecasting -- 4.1 REGIME-SWITCHING AUTOREGRESSIVE MODEL -- 4.1.1 Physically Motivated Regime Definition -- 4.1.2 Data-driven Regime Determination -- 4.1.3 Smooth Transition between Regimes -- 4.1.4 Markov Switching between Regimes -- 4.2 REGIME-SWITCHING SPACE-TIME MODEL -- 4.3 CALIBRATION IN REGIME SWITCHING METHOD -- 4.3.1 Observed Regime Changes -- 4.3.2 Unobserved Regime Changes -- 4.3.3 Framework of Calibrated Regime-switching -- 4.3.4 Implementation Procedure -- 4.4 CASE STUDY -- 4.4.1 Modeling Choices and Practical Considerations -- 4.4.2 Forecasting Results -- Part II: Wind Turbine Performance Analysis -- Chapter 5: Power Curve Modeling and Analysis -- 5.1 IEC BINNING: SINGLE-DIMENSIONAL POWER CURVE -- 5.2 KERNEL-BASED MULTI-DIMENSIONAL POWER CURVE -- 5.2.1 Need for Nonparametric Modeling Approach -- 5.2.2 Kernel Regression and Kernel Density Estimation -- 5.2.3 Additive Multiplicative Kernel Model -- 5.2.4 Bandwidth Selection -- 5.3 OTHER DATA SCIENCE METHODS -- 5.3.1 k-Nearest Neighborhood Regression -- 5.3.2 Tree-based Regression -- 5.3.3 Spline-based Regression -- 5.4 CASE STUDY -- 5.4.1 Model Parameter Estimation -- 5.4.2 Important Environmental Factors Affecting Power Output -- 5.4.3 Estimation Accuracy of Different Models -- Chapter 6: Production Efficiency Analysis and Power Curve -- 6.1 THREE EFFICIENCY METRICS -- 6.1.1 Availability -- 6.1.2 Power Generation Ratio -- 6.1.3 Power Coefficient -- 6.2 COMPARISON OF EFFICIENCY METRICS -- 6.2.1 Distributions -- 6.2.2 Pairwise Differences -- 6.2.3 Correlations and Linear Relationships -- 6.2.4 Overall Insight -- 6.3 A SHAPE-CONSTRAINED POWER CURVE MODEL -- 6.3.1 Background of Production Economics -- 6.3.2 Average Performance Curve -- 6.3.3 Production Frontier Function and Effi ciency Metric -- 6.4 CASE STUDY…”
    Libro electrónico
  12. 11512
    Publicado 2023
    Tabla de Contenidos: “…12.3.2.3 Total Resource Availability T Regulates Saddle Node Bifurcation Curve -- 12.4 Conclusion -- Acknowledgement -- References -- Chapter 13 A Hybrid Approach to Ontology Evaluation -- 13.1 Introduction -- 13.2 Background -- 13.3 The Developed OntoEva Method -- 13.4 Ontology Selection for Epilepsy Disorder -- 13.4.1 Accuracy -- 13.4.2 Adaptability -- 13.4.3 Clarity -- 13.4.4 Completeness -- 13.4.5 Conciseness -- 13.4.6 Consistency -- 13.4.7 Organizational Fitness -- 13.5 Results -- 13.6 Comparison of Ontologies -- 13.7 Conclusion -- References -- Chapter 14 Smart Health Care Waste Segregation and Safe Disposal -- 14.1 Introduction -- 14.2 Related Works -- 14.3 System Architecture -- 14.3.1 Wrapping -- 14.3.2 Incinerator -- 14.3.3 Conveyor Cleaning System -- 14.3.4 Circuit Diagram -- 14.3.5 Optimal Path Planning Algorithm for Waste Collection -- 14.4 Methodology -- 14.5 Mobile App -- 14.6 Conclusions and Future Works -- Declarations -- Availability of Data and Materials -- Competing Interests -- Author's Contribution -- References -- Chapter 15 Investigation of Viscoelastic Magnetohydrodynamics (MHD) Flow Over an Expanded Lamina Surrounded in a Permeable Media -- 15.1 Introduction -- 15.1.1 Literature Review -- 15.1.2 Nomenclature -- 15.2 Formulation of the Problem -- 15.2.1 Analytical Solution -- 15.2.2 Numerical Methods (Spectral Quasi-Linearization Methods) -- 15.3 Result and Argument -- 15.4 Conclusion -- References -- Chapter 16 Quickest Multi-Commodity Contraflow with Non-Symmetric Traversal Times -- 16.1 Introduction -- 16.2 Preliminaries with Flow Models -- 16.2.1 Mathematical Model with Contraflow -- 16.3 QMCCF with Non-Symmetric Transit Times -- 16.3.1 Approximation Approach for the QMCCF -- 16.4 Conclusions -- Acknowledgments -- References…”
    Libro electrónico
  13. 11513
    por Enea, Constantin
    Publicado 2023
    Tabla de Contenidos: “…2 Background -- 2.1 Fairness of the Learned Model -- 2.2 Fairness in the Presence of Dataset Bias -- 3 Overview of Our Method -- 3.1 The KNN Algorithm -- 3.2 Certifying the KNN Algorithm -- 4 Abstracting the KNN Prediction Step -- 4.1 Finding the K-Nearest Neighbors -- 4.2 Checking the Classification Result -- 5 Abstracting the KNN Learning Step -- 5.1 Overapproximating the Classification Error -- 5.2 Underapproximating the Classification Error -- 6 Experiments -- 7 Related Work -- 8 Conclusions -- References -- Monitoring Algorithmic Fairness -- 1 Introduction -- 1.1 Motivating Examples -- 1.2 Related Work -- 2 Preliminaries -- 2.1 Markov Chains as Randomized Generators of Events -- 2.2 Randomized Register Monitors -- 3 Algorithmic Fairness Specifications and Problem Formulation -- 3.1 Probabilistic Specification Expressions -- 3.2 The Monitoring Problem -- 4 Frequentist Monitoring -- 4.1 The Main Principle -- 4.2 Implementation of the Frequentist Monitor -- 5 Bayesian Monitoring -- 5.1 The Main Principle -- 5.2 Implementation of the Bayesian Monitor -- 6 Experiments -- 7 Conclusion -- References -- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models -- 1 Introduction -- 2 Background and Related Work -- 2.1 Natural Language to Linear-Time Temporal Logic -- 2.2 Large Language Models -- 3 The nl2spec Framework -- 3.1 Overview -- 3.2 Interactive Few-Shot Prompting -- 4 Evaluation -- 4.1 Study Setup -- 4.2 Results -- 5 Conclusion -- References -- NNV 2.0: The Neural Network Verification Tool -- 1 Introduction -- 2 Related Work -- 3 Overview and Features -- 3.1 NNV 2.0 vs NNV -- 4 Evaluation -- 4.1 Comparison to MATLAB's Deep Learning Verification Toolbox -- 4.2 Neural Ordinary Differential Equations -- 4.3 Recurrent Neural Networks -- 4.4 Semantic Segmentation -- 5 Conclusions -- References…”
    Libro electrónico
  14. 11514
    Publicado 2024
    Tabla de Contenidos: “…11.2 Challenges in recognition of hand gestures -- 11.3 Approaches' types -- 11.4 Literature review on vision-based gesture recognition -- 11.5 Data acquisition -- 11.6 Pre-processing of acquired data -- 11.7 Segmentation -- 11.7.1 Segmentation of skin color -- 11.7.2 Other methods for segmentation -- 11.7.3 Tracking -- 11.8 Feature extraction -- 11.8.1 Principal component analysis (PCA) -- 11.8.2 Linear discriminant analysis (LDA) -- 11.8.3 Shift-invariant feature transform (SIFT) -- 11.9 Classification -- 11.9.1 Artificial neural network (ANN) -- 11.9.2 Support vector machine (SVM) -- 11.9.3 Euclidean distance classifier -- 11.9.4 K-nearest neighbor classifier -- 11.10 Literature review on sensor-based gesture recognition -- 11.10.1 Data glove -- 11.10.2 Electromyography (EMG) -- 11.10.3 Radar and WiFi -- 11.11 Discussion -- 11.11.1 Critical review on the previous survey -- 11.11.2 Reviews on considered algorithms and methodologies -- 11.12 Conclusion and future work -- References -- Index…”
    Libro electrónico
  15. 11515
    por de Beaune, Sophie A.
    Publicado 2021
    Tabla de Contenidos: “…Du relevé de détail au simple profil, les coupes stratigraphiques du site de La Tène ont été inégalement documentées durant les fouilles officielles. …”
    Libro electrónico
  16. 11516
    Publicado 2015
    Tabla de Contenidos: “…ONE STEP BEYOND Order Out of Chaos -- Part II Problems -- Part III Properties of Matter -- OVERVIEW Beyond the Particle Model -- Chapter 12 Thermal Properties of Matter -- 12.1 The Atomic Model of Matter -- 12.2 The Atomic Model of an Ideal Gas -- 12.3 Ideal-Gases Processes -- 12.4 Thermal Expansion -- 12.5 Specific Heat and Heat of Transformation -- 12.6 Calorimetry -- 12.7 Specific Heats of Gases -- 12.8 Heat Transfer -- Summary -- Questions and Problems -- Chapter 13 Fluids -- 13.1 Fluids and Density -- 13.2 Pressure -- 13.3 Measuring and Using Pressure -- 13.4 Buoyancy -- 13.5 Fluids in Motion -- 13.6 Fluid Dynamics -- 13.7 Viscosity and Poiseuille's Equation -- Summary -- Questions and Problems -- Part III Summary Properties of Matter -- ONE STEP BEYOND Size and Life -- PART III PROBLEMS -- Part IV Oscillations and Waves -- OVERVIEW Motion That Repeats Again and Again -- Chapter 14 Oscillations -- 14.1 Equilibrium and Oscillation -- 14.2 Linear Restoring Forces and Simple Harmonic Motion -- 14.3 Describing Simple Harmonic Motion -- 14.4 Energy in Simple Harmonic Motion -- 14.5 Pendulum Motion -- 14.6 Damped Oscillations -- 14.7 Driven Oscillations and Resonance -- Summary -- Questions and Problems -- Chapter 15 Traveling Waves and Sound -- 15.1 The Wave Model -- 15.2 Traveling Waves -- 15.3 Graphical and Mathematical Descriptions of Waves -- 15.4 Sound and Light Waves -- 15.5 Energy and Intensity -- 15.6 Loudness of Sound -- 15.7 The Doppler Effect and Shock Waves -- Summary -- Questions and Problems -- Chapter 16 Superposition and Standing Waves -- 16.1 The Principle of Superposition -- 16.2 Standing Waves -- 16.3 Standing Waves on a String -- 16.4 Standing Sound Waves -- 16.5 Speech and Hearing -- 16.6 The Interference of Waves from Two Sources -- 16.7 Beats -- Summary -- Questions and Problems -- Part IV Summary Oscillations and Waves…”
    Libro electrónico
  17. 11517
    por Hull, John
    Publicado 2022
    Tabla de Contenidos: “…Practice Questions -- Further Questions -- Chapter 18: Binomial Trees in Practice -- 18.1 The Binomial Model for a Non-Dividend-Paying Stock -- 18.2 Using the Binomial Tree for Options on Indices, Currencies, and Futures Contracts -- 18.3 The Binomial Model for a Dividend-Paying Stock -- 18.4 Extensions of the Basic Tree Approach -- 18.5 Alternative Procedure for Constructing Trees -- 18.6 Monte Carlo Simulation -- Summary -- Further Reading -- Quiz -- Practice Questions -- Further Questions -- Chapter 19: Volatility Smiles -- 19.1 Foreign Currency Options -- 19.2 Equity Options -- 19.3 The Volatility Term Structure and Volatility Surfaces -- 19.4 When a Single Large Jump Is Anticipated -- Summary -- Further Reading -- Quiz -- Practice Questions -- Further Questions -- Appendix: Why the Put Volatility Smile Is the Same As the Call Volatility Smile -- Chapter 20: Value at Risk and Expected Shortfall -- 20.1 The VaR and ES Measures -- 20.2 Historical Simulation -- 20.3 Model-Building Approach -- 20.4 Generalization of Linear Model -- 20.5 Quadratic Model -- 20.6 Estimating Volatilities and Correlations -- 20.7 Comparison of Approaches -- 20.8 Back Testing -- Summary -- Further Reading -- Quiz -- Practice Questions -- Further Questions -- Chapter 21: Interest Rate Options -- 21.1 Exchange-Traded Interest Rate Options -- 21.2 Embedded Bond Options -- 21.3 Black's Model -- 21.4 European Bond Options -- 21.5 Interest Rate Caps -- 21.6 European Swap Options -- 21.7 Term Structure Models -- Summary -- Further Reading -- Quiz -- Practice Questions -- Further Questions -- Chapter 22: Exotic Options and Other Nonstandard Products -- 22.1 Exotic Options -- 22.2 Agency Mortgage-Backed Securities -- 22.3 Nonstandard Swaps -- Summary -- Further Reading -- Quiz -- Practice Questions -- Further Questions -- Chapter 23: Credit Derivatives -- 23.1 Credit Default Swaps…”
    Libro electrónico
  18. 11518
    por Kurasov, Pavel
    Publicado 2024
    Tabla de Contenidos: “…Intro -- Notations -- Conventions -- Contents -- 1 Very Personal Introduction -- 2 How to Define Differential Operators on Metric Graphs -- 2.1 Schrödinger Operators on Metric Graphs -- 2.1.1 Metric Graphs -- 2.1.2 Differential Operators -- 2.1.3 Standard Vertex Conditions -- 2.1.4 Definition of the Operator -- 2.2 Elementary Examples -- 3 Vertex Conditions -- 3.1 Preliminary Discussion -- 3.2 Vertex Conditions for the Star Graph -- 3.3 Vertex Conditions Via the Vertex Scattering Matrix -- 3.3.1 The Vertex Scattering Matrix -- 3.3.2 Scattering Matrix as a Parameterin the Vertex Conditions -- 3.3.3 On Properly Connecting Vertex Conditions -- 3.4 Parametrisation Via Hermitian Matrices -- 3.5 Scaling-Invariant and Standard Conditions -- 3.5.1 Energy Dependence of the Vertex S-matrix -- 3.5.2 Scaling-Invariant, or Non-Robin Vertex Conditions -- 3.5.3 Standard Vertex Conditions -- 3.6 Signing Conditions for Degree Two Vertices -- 3.7 Generalised Delta Couplings -- 3.8 Vertex Conditions for Arbitrary Graphs and Definition of the Magnetic Schrödinger Operator -- 3.8.1 Scattering Matrix Parametrisationof Vertex Conditions -- 3.8.2 Quadratic Form Parametrisation of Vertex Conditions -- Appendix 1: Important Classes of Vertex Conditions -- δ and δ'-Couplings -- Circulant Conditions -- `Real' Conditions -- Indistinguishable Edges -- Equi-transmitting Vertices -- Appendix 2: Parametrisation of Vertex Conditions: Historical Remarks -- Parametrisation Via Linear Relations -- Parametrisation Using Hermitian Operators -- Unitary Matrix Parametrisation -- 4 Elementary Spectral Properties of Quantum Graphs -- 4.1 Quantum Graphs as Self-adjoint Operators -- 4.2 The Dirichlet Operator and the Weyl's Law -- 4.3 Spectra of Quantum Graphs -- 4.4 Laplacian Ground State -- 4.5 Bonus Section: Positivity of the Ground Statefor Quantum Graphs…”
    Libro electrónico
  19. 11519
    por Rossi, Peter E.
    Publicado 2024
    Tabla de Contenidos:
    Libro electrónico
  20. 11520
    Publicado 2023
    Tabla de Contenidos: “…Oscillations -- 14.1 Equilibrium and Oscillation -- 14.2 Linear Restoring Forces and SHM -- 14.3 Describing Simple Harmonic Motion -- 14.4 Energy in Simple Harmonic Motion -- 14.5 Pendulum Motion -- 14.6 Damped Oscillations -- 14.7 Driven Oscillations and Resonance -- Summary -- Questions And Problems -- Chapter 15. …”
    Libro electrónico