Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Historia 263
- Data processing 194
- Trabajo 189
- Machine learning 172
- Mathematics 149
- Derecho canónico 145
- Matemáticas 142
- Python (Computer program language) 139
- Derecho 135
- Història 101
- Mathematical models 93
- Derecho laboral internacional 91
- Artificial intelligence 88
- R (Computer program language) 86
- History of engineering & technology 84
- Filosofía 83
- Data mining 77
- Technology: general issues 77
- Digital techniques 75
- Educación 71
- Álgebra lineal 71
- Derecho civil 69
- Programación lineal 69
- Ecumenismo 67
- Research & information: general 67
- Statistics 67
- Derechos humanos 65
- Derecho Canónico 64
- Mathematical statistics 63
- Universidad Pontificia de Salamanca (España) 63
-
11501Publicado 2024Tabla 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 -
11502por Huang, WentaoTabla 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…”
Publicado 2024
Libro electrónico -
11503Publicado 2016Tabla 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 -
11504Publicado 2023Tabla 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 -
11505Publicado 2023Tabla 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 & -- 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 -
11506por Gurfinkel, ArieTabla 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…”
Publicado 2024
Libro electrónico -
11507Publicado 2007Tabla 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 -
11508por Cleland, David I.Tabla de Contenidos: “…Traditional Organizational Chart -- 11.13. Linear Responsibility Chart -- 11.14. Work Packages -- 11.15. …”
Publicado 2006
Libro electrónico -
11509por Haykin, Simon S., 1931-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. …”
Publicado 2009
Libro electrónico -
11510Publicado 2019Tabla 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 -
11511Publicado 2020Tabla 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 -
11512Publicado 2023Tabla 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 -
11513por Enea, ConstantinTabla 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…”
Publicado 2023
Libro electrónico -
11514Publicado 2024Tabla 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 -
11515por de Beaune, Sophie A.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. …”
Publicado 2021
Libro electrónico -
11516Publicado 2015Tabla 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 -
11517por Hull, JohnTabla 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…”
Publicado 2022
Libro electrónico -
11518por Kurasov, PavelTabla 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…”
Publicado 2024
Libro electrónico -
11519
-
11520Publicado 2023Tabla 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