Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Historia 692
- Biblia 428
- Teología dogmática 281
- Moral cristiana 280
- Derecho canónico 256
- Teología 222
- Obras anteriores a 1800 201
- Iglesia Católica 197
- Documentales 187
- Data processing 165
- obras anteriores a 1800 162
- Sermones 156
- Management 154
- Computer networks 149
- Development 135
- Crítica e interpretación 115
- Tomás de Aquino 112
- Application software 109
- Computer programs 100
- Mathematical models 98
- Design and construction 96
- Engineering & Applied Sciences 95
- Derecho 93
- Derecho civil 91
- Historia eclesiástica 88
- Artificial intelligence 86
- Películas cinematográficas 83
- Security measures 83
- Filosofía 82
- WebSphere 81
-
2361por Tripathi, PadmeshTabla de Contenidos: “…5.1.2.10 Remote Sensing and Image Analysis -- 5.2 History of Surveillance Systems -- 5.3 Literature Review -- 5.4 Mathematical Models for Surveillance Systems -- 5.4.1 Overview of Mathematical Modeling in Surveillance -- 5.4.2 Role of Probability and Statistics in Surveillance -- 5.4.2.1 Anomaly Detection -- 5.4.2.2 Predictive Analytics -- 5.4.2.3 Risk Assessment -- 5.4.2.4 Decision Support -- 5.4.2.5 Data Fusion and Integration -- 5.4.3 Modeling Human Behavior in Surveillance Scenario -- 5.4.3.1 Behavioral Patterns -- 5.4.3.2 Machine Learning -- 5.4.3.3 Social Dynamics -- 5.4.3.4 Continuous Learning and Adaptation -- 5.4.3.5 Cognitive Modeling -- 5.4.4 Mathematical Modeling for Tracking and Motion Analysis -- 5.4.4.1 Object Tracking -- 5.4.4.2 Motion Prediction -- 5.4.4.3 Motion Analysis -- 5.4.4.4 Motion Representation -- 5.4.4.5 Trajectory Analysis -- 5.4.4.6 Data Fusion -- 5.4.4.7 Continuous Learning and Adaptation -- 5.5 Artificial Intelligence in Surveillance Systems -- 5.5.1 Object Recognition and Detection -- 5.5.2 Behavior Analysis -- 5.5.3 Facial Recognition -- 5.5.4 Video Analytics -- 5.5.5 Real-Time Alert Generation -- 5.5.6 Predictive Analytics -- 5.5.7 Data Management and Analytics -- 5.6 Use of Mathematical Models for Pre-Processing Image Data -- 5.6.1 Filtering and Smoothing -- 5.6.2 Image Enhancement -- 5.6.3 Edge Detection -- 5.6.4 Image Restoration -- 5.6.5 Feature Extraction -- 5.6.6 Dimensionality Reduction -- 5.7 Future Directions and Challenges -- 5.7.1 Deep Learning and Neural Networks -- 5.7.2 Real-Time Processing -- 5.7.3 Multi-Modal Data Fusion -- 5.7.4 Privacy-Preserving Techniques -- 5.7.5 Human-Centric Surveillance -- 5.7.6 Robustness to Adversarial Attacks -- 5.7.7 Interoperability and Scalability -- 5.7.8 Ethical and Legal Considerations -- 5.8 Conclusion -- 5.8.1 Summary of the Chapter…”
Publicado 2024
Libro electrónico -
2362Publicado 2023Tabla de Contenidos: “…4.2.1 Challenges for Smart Manufacturing Industries -- 4.2.2 Smart Manufacturing Current Market Scenario -- 4.3 Data Drives in Smart Manufacturing -- 4.3.1 Benefits of Data-Driven Manufacturing -- 4.4 Manufacturing of Product Through 3D Printing Process -- 4.4.1 3D Printing Technology -- 4.4.2 3D Printing Technologies Classification -- 4.4.3 3D Printer Parameters -- 4.4.4 Significance of Honeycomb Structure -- 4.4.5 Acrylonitrile Butadiene Styrene (ABS) Thermoplastic Polymer Used for Honeycomb Structures Model -- 4.4.6 3D Printing Parameters and Their Descriptions -- 4.5 Conclusion -- References -- Chapter 5 Smart Inventory Control: Proposed Framework on Basis of IoT, RFID, and Supply Chain Management -- 5.1 Introduction -- 5.2 Objectives -- 5.3 Research Methodology -- 5.4 Literature Review -- 5.5 Components of SIM -- 5.5.1 Supply Chain Management (SCM) -- 5.5.2 Inventory Management System (IMS) -- 5.5.3 Internet of Things (IoT) -- 5.5.4 RFID System -- 5.5.5 Maintenance, Repair, and Operations -- 5.5.6 Deep Reinforcement Learning -- 5.6 Framework -- 5.7 Optimization -- 5.7.1 Inventory Optimization -- 5.8 Results and Discussion -- 5.9 A Mirror to Researchers and Managers -- 5.10 Conclusions -- 5.11 Future Scope -- References -- Chapter 6 Application of Machine Learning in the Machining Processes: Future Perspective Towards Industry 4.0 -- 6.1 Introduction -- 6.2 Machine Learning -- 6.3 Smart Factory -- 6.4 Intelligent Machining -- 6.5 Machine Learning Processes Used in Machining Process -- 6.6 Performance Improvement of Machine Structure Using Machine Learning -- 6.7 Conclusions -- References -- Chapter 7 Intelligent Machine Learning and Deep Learning Techniques for Bearings Fault Detection and Decision-Making Strategies -- Abbreviations -- 7.1 Introduction -- 7.2 Literature Review -- 7.3 Methodology -- 7.3.1 Dataset Preparation -- 7.3.2 CWRU Dataset…”
Libro electrónico -
2363Publicado 2023Tabla de Contenidos: “…4.2.4 Cloud Computing -- 4.2.5 Blockchain -- 4.2.6 5G -- 4.3 Challenges in Transforming Digital Technology -- 4.3.1 Increasing Digitalization -- 4.3.2 Work From Home Culture -- 4.3.3 Workplace Monitoring and Techno Stress -- 4.3.4 Online Fraud -- 4.3.5 Accessing Internet -- 4.3.6 Internet Shutdowns -- 4.3.7 Digital Payments -- 4.3.8 Privacy and Surveillance -- 4.4 Implications for Research -- 4.5 Conclusion -- References -- Part II: Plant Pathology -- Chapter 5 Plant Pathology Detection Using Deep Learning -- 5.1 Introduction -- 5.2 Plant Leaf Disease -- 5.3 Background Knowledge -- 5.4 Architecture of ResNet 512 V2 -- 5.4.1 Working of Residual Network -- 5.5 Methodology -- 5.5.1 Image Resizing -- 5.5.2 Data Augmentation -- 5.5.2.1 Types of Data Augmentation -- 5.5.3 Data Normalization -- 5.5.4 Data Splitting -- 5.6 Result Analysis -- 5.6.1 Data Collection -- 5.6.2 Feature Extractions -- 5.6.3 Plant Leaf Disease Detection -- 5.7 Conclusion -- References -- Chapter 6 Smart Irrigation and Cultivation Recommendation System for Precision Agriculture Driven by IoT -- 6.1 Introduction -- 6.1.1 Background of the Problem -- 6.1.1.1 Need of Water Management -- 6.1.1.2 Importance of Precision Agriculture -- 6.1.1.3 Internet of Things -- 6.1.1.4 Application of IoT in Machine Learning and Deep Learning -- 6.2 Related Works -- 6.3 Challenges of IoT in Smart Irrigation -- 6.4 Farmers' Challenges in the Current Situation -- 6.5 Data Collection in Precision Agriculture -- 6.5.1 Algorithm -- 6.5.1.1 Environmental Consideration on Stage Production of Crop -- 6.5.2 Implementation Measures -- 6.5.2.1 Analysis of Relevant Vectors -- 6.5.2.2 Mean Square Error -- 6.5.2.3 Potential of IoT in Precision Agriculture -- 6.5.3 Architecture of the Proposed Model -- 6.6 Conclusion -- References -- Chapter 7 Machine Learning-Based Hybrid Model for Wheat Yield Prediction…”
Libro electrónico -
2364Publicado 2004Tabla de Contenidos: “…4.2 Adding the insurance option into the navigator -- 4.2.1 Creating new options under the insurance option -- 4.3 Creating content for the new insurance options -- 4.3.1 Insurance workflow -- 4.3.2 Content templates -- 4.3.3 Insurance page design -- 4.3.4 Creating insurance content -- 4.4 Retrieving data from external sources into insurance content -- 4.5 Troubleshooting -- Part 2 Integration -- Chapter 5. …”
Libro electrónico -
2365
-
2366Publicado 2012Tabla de Contenidos: “…3.1.7 Portfolio Return -- 3.2 Concept and Measurement of Risk -- 3.2.1 Sources of Risk -- 3.2.2 Risk in Case of a Single Investment -- 3.3 Portfolio Risk -- 3.4 The Capital-Asset-Pricing Model (CAPM) -- 3.4.1 Systematic Risk versus Unsystematic Risk -- 3.4.2 Measurement of Systematic Risk and Determinants of Beta -- 3.4.3 Beta and the Required Rate of Investment -- 3.4.4 Security Market Line -- 3.4.5 Appraisal of CAPM -- Summary -- Points to Remember -- Descriptive Questions -- Objective-type Questions -- Numerical Problems -- Solved Numerical Problems -- References -- Select Further Readings -- Chapter 4: Valuation of the Firm -- 4.1 Various Concepts of Value -- 4.1.1 Intrinsic Value -- 4.1.2 Market Value -- 4.1.3 Book Value -- 4.1.4 Liquidation Value -- 4.1.5 Going-concern Value -- 4.1.6 Replacement Value -- 4.2 Valuation of Bonds or Debentures -- 4.2.1 Valuation of Bonds with Fixed Maturity -- 4.2.2 Perpetual Bonds -- 4.3 Factors Influencing Bond Valuation -- 4.3.1 Discount Rate versus Coupon Rate -- 4.3.2 Maturity and Value of Bonds -- 4.3.3 Yield to Maturity -- 4.3.4 Duration and the Bond Price -- 4.3.5 Riskiness and the Value of Bond -- 4.4 Valuation of Preference Shares -- 4.5 Valuation of Ordinary Shares -- 4.5.1 Single-period Analysis -- 4.5.2 Multi-period Analysis -- 4.5.3 P/E Ratio Approach to Equity Valuation -- Summary -- Points to Remember -- Descriptive Questions -- Objective-type Questions -- Numerical Problems -- Solved Numerical Problems -- Reference -- Select Further Reading -- Appendix A -- Appendix B -- Part II: Long-term Investment Decision -- Chapter 5: Principles of Capital Budgeting -- 5.1 Nature of Capital Budgeting -- 5.1.1 Meaning and Significance -- 5.1.2 Types of Proposals -- 5.1.3 Steps in Capital Budgeting Process -- 5.2 The Concept of Cash Flows -- 5.2.1 Nature and Timing of Cash Flows…”
Libro electrónico -
2367por Ebel, NadinTabla de Contenidos: “…3.5.4 Warranty und Utility -- 3.6 Zusammenfassung -- 3.7 Beispielfragen -- 4 Die vier Dimensionen des Service Management in ITIL 4 -- 4.1 Das Vier-Dimensionen-Modell -- 4.2 Organizations and people/Organisationen und Menschen -- 4.2.1 Menschen und Kultur -- 4.2.2 Kommunikation und Kompetenzen -- 4.3 Information and technology/Informationen und Technologie -- 4.3.1 Einsatz von Technologien -- 4.3.2 Informationsmanagement -- 4.3.3 Zusammenwirken der Dimensionen -- 4.4 Partners and suppliers/Partner und Lieferanten -- 4.4.1 Cloud Computing -- 4.4.2 Service Integration and Management (SIAM) -- 4.5 Value streams and processes/Wertströme und Prozesse -- 4.5.1 Wertströme für das Service Management -- 4.5.1.1 Wertstromanalyse und Lean Management -- 4.5.2 Prozesse -- 4.5.3 Wertströme und Prozesse -- 4.6 Externe Faktoren -- 4.7 Zusammenfassung -- 4.8 Beispielfragen -- 5 Das Service Value System in ITIL 4 -- 5.1 Service Value System -- 5.2 Überblick über das SVS und seine Bestandteile -- 5.2.1 Förderung der Zusammenarbeit -- 5.2.2 Organisatorische Agilität und Resilienz -- 5.2.2.1 Agile Softwareentwicklung in Abgrenzung zur agilen Organisation -- 5.2.2.2 Organisatorische Agilität und Resilienz als Erfolgsfaktoren -- 5.2.2.3 ITIL, Agile und DevOps -- 5.3 Inputs und Outcome des SVS: Opportunity, Demand, Value -- 5.4 Governance -- 5.4.1 Governance und IT Governance -- 5.4.2 Governance im ITIL Service Value System -- 5.5 Service Value Chain -- 5.5.1 Plan -- 5.5.2 Improve -- 5.5.3 Engage -- 5.5.4 Design & -- Transition -- 5.5.5 Obtain/Build -- 5.5.6 Deliver & -- Support -- 5.6 Continual Improvement -- 5.6.1 Das Continual-Improvement-Modell -- 5.6.1.1 Schritt 1: Wie lautet die Vision? …”
Publicado 2021
Libro electrónico -
2368Publicado 2020Tabla de Contenidos: “…Spatial Filters -- 4.1 Introduction -- 4.2 Filtering -- 4.2.1 Mean Filter -- 4.2.2 Median Filter -- 4.2.3 Max Filter -- 4.2.4 Min Filter -- 4.3 Edge Detection using Derivatives -- 4.3.1 First Derivative Filters -- 4.3.1.1 Sobel Filter -- 4.3.1.2 Prewitt Filter -- 4.3.1.3 Canny Filter…”
Libro electrónico -
2369Publicado 2011Tabla de Contenidos: “…4.2.4 Retrograde Behavior of Gas-Condensate Systems -- 4.3 Gas and Gas-Condensate Properties -- 4.3.1 Ideal Gas Equation -- 4.3.2 Real Gas Equation -- 4.3.3 Gas Gravity -- 4.3.4 Reduced Temperature and Pressure -- 4.4 Pseudo-critical Properties of Gas Mixtures -- 4.4.1 Composition of Gas Mixtures Known -- 4.4.2 Correction for non-Hydrocarbon Gas Impurities -- 4.4.3 Composition of Gas Mixture Unknown -- 4.5 Wet Gas and Gas Condensate -- 4.5.1 Recombination Method -- 4.5.2 Correlation Method -- 4.6 Correlations for Gas Compressibility Factor -- 4.7 Gas Formation Volume Factor (FVF) -- 4.8 Gas Density -- 4.9 Gas Viscosity -- 4.10 Gas Coefficient of Isothermal Compressibility -- 4.11 Correlations for Calculation of Oil PVT Properties -- 4.11.1 Bubble Point Pressure -- 4.11.2 Solution Gas-Oil Ratio (GOR) -- 4.11.3 Oil Formation Volume Factor (FVF) -- 4.11.4 Coefficient of Isothermal Compressibility of Oil -- 4.11.5 Oil Viscosity -- 4.12 Correlations for Calculation of Water PVT Properties -- 4.12.1 Water Formation Volume Factor (FVF) -- 4.12.2 Density of Formation Water -- 4.12.3 Coefficient of Isothermal Compressibility of Formation Water -- 4.12.4 Viscosity of Formation Water -- Nomenclature -- Subscripts -- References -- General Reading -- Chapter 5 Reservoir Fluid Sampling and PVT Laboratory MeasurementsChapter -- 5.1 Overview of Reservoir Fluid Sampling -- 5.2 Reservoir Type and State -- 5.2.1 Undersaturated Oil Reservoirs -- 5.2.2 Undersaturated Gas Condensate Reservoirs -- 5.2.3 Saturated Oil Reservoirs -- 5.2.4 Saturated Gas Condensate Reservoirs -- 5.3 Well Conditioning -- 5.4 Subsurface Sampling Methods and Tools -- 5.4.1 Conventional Bottomhole Samplers -- 5.4.2 Pistonned Bottomhole Samplers -- 5.4.3 Single-Phase Samplers -- 5.4.4 Exothermic Samplers -- 5.5 Wireline Formation Testers -- 5.5.1 Oil-Based Mud Contamination of WFT Samples…”
Libro electrónico -
2370Publicado 2024Tabla de Contenidos: “…La raison d'être de l'utilisation des solutions fondées sur la nature pour améliorer la résilience au climat dans le secteur des infrastructures -- 4.3. Des solutions fondées sur la nature pour remplacer les infrastructures grises, les compléter ou les préserver -- 4.3.1. …”
Libro electrónico -
2371por Lahiri, IsitaTabla de Contenidos: “…Students' Ready Reckoner -- Review Questions -- Chapter 4: Consumer Behaviour: Knowing the Unknown -- 4.1 Answering Bunch of 'Wh' Questions -- 4.2 Consumer Behaviour: Meaning -- 4.3 Factors Influencing Consumer Behaviour -- 4.3.1 Cultural Factors -- 4.3.2 Social Factors -- 4.3.3 Personal Factors -- 4.3.4 Psychological Factors -- 4.4 Patterns of Buying Behaviour -- 4.5 Buying Roles -- 4.6 Consumers' Decision-Making Process -- Summary -- Key Words -- Students' Ready Reckoner -- Review Questions -- Chapter 5: Marketing Mix: Blending with Marketing Flavour -- 5.1 Influencing Consumers' Demand -- 5.2 Marketing Mix: Concept -- 5.3 Elements of Marketing Mix -- 5.3.1 Product -- 5.3.2 Price -- 5.3.3 Place -- 5.3.4 Promotion -- 5.4 4Cs of Marketing -- 5.4.1 Customer Solution -- 5.4.2 Customer Cost -- 5.4.3 Convenience -- 5.4.4 Communication -- Summary -- Key Words -- Students' Ready Reckoner -- Review Questions -- Chapter 6: Product Management: Going Beyond Tangibility -- 6.1 Selling the Concept, not the Content -- 6.2 Product: Meaning -- 6.3 Product Planning -- 6.3.1 Classification of Products -- 6.3.2 Product Levels -- 6.3.3 Product Mix -- 6.3.4 Product Policy -- 6.3.5 Product Portfolio -- 6.4 Product Line Decisions -- 6.4.1 Product Line Length -- 6.4.2 Product Line Modernization -- 6.4.3 Product Line Featuring and Line Pruning -- 6.5 Product Differentiation -- 6.5.1 Product Differentiation: Concept -- 6.5.2 Product Differentiation: Methods -- 6.5.3 Guidelines for Effective Differentiation -- 6.5.4 Degree of Differentiation -- 6.6 Product-Related Strategies -- 6.6.1 Branding -- 6.6.2 Packaging -- 6.6.3 Labelling -- 6.7 New Product -- 6.7.1 Meaning of New Product -- 6.7.2 Stages of New-Product Development -- 6.7.3 Reasons for Failure of a New Product -- 6.8 Product Adoption -- 6.9 Product Life Cycle -- 6.9.1 Concept of Product Life Cycle…”
Publicado 2011
Libro electrónico -
2372por Kamal, RajTabla de Contenidos: “…3.9 Two Outputs Simplification-Computer-Based Prime Implicants Using Star Product and Sharp Operations -- 3.9.1 Combination of Two Cubes Differing in One Variable into One Cube-A Star Product Operation -- 3.9.2 Finding Essential Prime Implicants Using Two Cubes-A Sharp Operation -- 3.9.3 Computer-Based Minimization Method to Find Minimum Required Cover (SOP function implicants) -- 3.10 Computer-Based Minimization-Quine-McCluskey Method -- 3.10.1 Quine-McCluskey Method of Finding Prime Implicants -- 3.10.2 Finding Minimal Sum from the Prime Implicants for an Output -- 3.10.3 Finding Minimal Sum for the Multi-Output Case Using Quine-McCluskey Method -- Chapter 4: Binary Arithmetic and Decoding and Mux Logic Units -- 4.1 Binary Arithmetic Units -- 4.1.1 Binary Addition of Two Bits -- 4.1.2 Addition of Two Arithmetic Numbers Each of 4 Bits -- 4.1.3 Subtraction of Two Arithmetic Numbers Each of 4 Bits -- 4.2 Decoder -- 4.2.1 Decoder (Line Decoder) -- 4.2.2 The 1 of 2 and 1 of 4 Line Decoders -- 4.2.3 The Four-line to 16-line Decoder -- 4.2.4 Function Specific Decoders -- 4.3 Encoder -- 4.3.1 Encoder (Line Encoder) -- 4.3.2 Encoder (Priority Encoder) -- 4.3.3 BCD 10 of 1 Four-bit Encoder -- 4.3.4 Octal 8 of 1 Three-bit Encoder and Hexadecimal Encoder -- 4.4 Multiplexer -- 4.4.1 Multiplexer (Line Selector) -- 4.4.2 Multiplexer with Outputs Enabling Control (gate) Pin(s) -- 4.5 Demultiplexer -- 4.5.1 Demultiplexer Definition -- Chapter 5: Code Converters, Comparators and Other Logic Processing Circuits -- 5.1 Code Converters -- 5.1.1 Codes for Decimal Numbers -- 5.1.2 Unit Distance Code Converter -- 5.1.3 ASCII (American Standard Code for Information Interchange) for the Alphanumeric Characters -- 5.2 Equality and Magnitude Comparators Between Two Four-bit Numbers -- 5.3 Odd Parity and Even Parity Generators -- 5.4 The 4-bit AND, OR, XOR Between Two Words…”
Publicado 2011
Libro electrónico -
2373por Press, Posts & TelecomTabla de Contenidos: “…封 -- 异步社区电子书 -- 版权声明 -- 内容提 -- 前 -- 作 简介 -- 序 -- 目录 -- 第1 章PostgreSQL 版本 -- 1.1 PostgreSQL 历史版本的性 -- 1.1.1 择 署的版本 -- 1.1.2 升级到更新的主 版本 -- 1.2 使用 PostgreSQL 是其他数据库 -- 1.3 PostgreSQL 工具 -- 1.3.1 PostgreSQL contrib -- 1.3.2 pgFoundry -- 1.3.3 其他一些与PostgreSQL 相关的 件 -- 1.4 PostgreSQL 应用程序扩展生命周期 -- 1.5 作为实 的性 优化 -- 1.6 小结 -- 第2 章数据库硬件 -- 2.1 平 硬件支出 -- 2.1.1 CPU -- 2.1.2 内存 -- 2.1.3 磁盘 -- 2.1.4 磁盘控制器 -- 2.2 可 的控制器及磁盘安 -- 2.2.1 回写缓存 -- 2.2.2 直写式缓存的性 影响 -- 2.3 小结 -- 第3 章数据库硬件基准 测 -- 3.1 CPU 和内存基准 测 -- 3.1.1 memtest86+ -- 3.1.2 STREAM 内存测 -- 3.1.3 CPU 基准 测 -- 3.1.4 内存以及处理器 度慢的缘由 -- 3.2 物理磁盘的性 -- 3.2.1 每秒 机存取以及I/O 数 -- 3.2.2 序存取和区域恒定 度 ZCAV -- 3.2.3 提交 率 -- 3.3 硬盘基准 测工具 -- 3.3.1 hdtune -- 3.3.2 dd -- 3.3.3 bonnie++ -- 3.3.4 sysbench -- 3.3.5 复杂的磁盘基准 测 -- 3.4 样品磁盘的测 结果 -- 第4 章磁盘 置 -- 4.1 文件系统 模的最大值 -- 4.2 文件系统的崩溃恢复 -- 4.3 Linux 文件系统 -- 4.3.1 ext2 -- 4.3.2 ext3 -- 4.3.3 ext4 -- 4.3.4 XFS -- 4.3.5 其他的Linux 文件系统 -- 4.3.6 写屏 -- 4.3.7 常 Linux 文件系统 整 -- 4.4 Solaris 和FreeBSD 文件系统 -- 4.4.1 Solaris UFS -- 4.4.2 FreeBSD UFS2 -- 4.4.3 ZFS -- 4.5 Windows 文件系统 -- 4.5.1 FAT32 -- 4.5.2 NTFS -- 4.6 PostgreSQL 的磁盘布局 -- 4.6.1 符号 接 -- 4.6.2 空 -- 4.6.3 数据库目录树 -- 4.6.4 磁盘 列、RAID 以及磁盘布局 -- 4.7 小结 -- 第5 章数据库 缓存内存 -- 5.1 postgresql.conf 文件中的内存单元 -- 5.2 检查数据库 缓存 -- 5.2.1 在数据库中安 pg_buffercache -- 5.2.2 数据库磁盘布局 -- 5.2.3 在数据库中创建新的块 -- 5.2.4 将" "块写到磁盘 -- 5.3 故 恢复和缓冲区 缓存 -- 5.3.1 检查点处理基础 -- 5.3.2 写式日志和恢复处理 -- 5.3.3 检查点的时机掌握 -- 5.4 数据库缓冲区 缓存与操作系统 缓存 -- 5.4.1 双 缓存数据 -- 5.4.2 检查点开 -- 5.4.3 始大小指南 -- 5.5 分析缓冲区 缓存当中的内容 -- 5.5.1 缓冲区缓存查 的检查 -- 5.5.2 使用缓冲区 缓存检查 模的反 -- 5.6 小结 -- 第6 章服务器 置 整 -- 6.1 与当前 置 交互 -- 6.1.1 值和 置值 -- 6.1.2 允 更改的上下文信息 -- 6.1.3 新加 置文件 -- 6.2 服务器 围内的 置 -- 6.2.1 数据库 接 -- 6.2.2 共享内存 -- 6.2.3 日志 -- 6.2.4 清理与统 信息 -- 6.2.5 检查点 -- 6.2.6 WAL 置 -- 6.2.7 PITR 和WAL 复制 -- 6.3 每个客户端的 置 -- 6.3.1 effective_cache_size -- 6.3.2 整以 免某些情况的出现 -- 6.4 整新服务器 -- 6.5 专用服务器指南…”
Publicado 2024
Libro electrónico -
2374por Pérez-Cisneros, MarcoTabla de Contenidos: “….) -- 4.2.1 Reglas de comportamiento -- 4.2.2 Pseudocódigo -- 4.2.3 Programa del robot -- 4.3 TERCER PROYECTO (...) -- 4.3.1 Reglas de comportamiento -- 4.3.2 Pseudocódigo -- 4.3.3 Explicación del programa -- 4.4 CUARTO PROYECTO (...) -- 4.4.1 Reglas de comportamiento -- 4.4.2 Pseudocódigo -- 4.4.3 Explicación del programa -- 4.5 QUINTO PROYECTO (...) -- 4.5.1 Reglas de comportamiento -- 4.5.2 Pseudocódigo -- 4.5.3 Explicación del programa -- 4.5.4 Simulación en RVW -- 4.6 SEXTO PROYECTO (...) -- 4.6.1 Reglas de comportamiento -- 4.6.2 Pseudocódigo -- 4.6.3 Explicación del programa -- 4.6.4 Simulación en RVW -- 4.7 SÉPTIMO PROYECTO (...) -- 4.7.1 Reglas de comportamiento -- 4.7.2 Pseudocódigo -- 4.7.3 Explicación del programa -- 4.7.4 Simulación en RVW -- 4.8 OCTAVO PROYECTO (...) -- 4.8.1 Reglas de comportamiento -- 4.8.2 Pseudocódigo -- 4.8.3 Explicación del programa -- 4.9 NOVENO PROYECTO: ROBOT CON LÓGICA DIFUSA -- 4.9.1 Reglas de comportamiento -- 4.9.2 Controlador difuso proporcional derivativo -- 4.9.3 Obteniendo el angulo de error -- 4.9.4 Pseudocódigo -- 4.9.5 Alcanzando eficientemente el ángulo -- 4.9.6 Explicación del programa -- 4.9.7 Simulación en RVW -- 5 LEJOS NXJ…”
Publicado 2014
Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada, Biblioteca de la Universidad Pontificia de Salamanca)Libro electrónico -
2375Publicado 2014Tabla de Contenidos: “….) -- 2.2.1 Soporte conceptual -- 2.2.2 Estructura distribuida -- 2.3 PROCESO PROPUESTO POR LA METODOLOGÍA -- 2.3.1 Release Planning -- 2.3.2 Sprint -- 2.3.3 Roles -- 2.3.4 Artefactos -- 2.4 CONCLUSIONES -- 2.4.1 Agradecimientos -- 3 ESTIMACIÓN DE PROYECTOS EN DGS -- 3.1 INTRODUCCIÓN -- 3.2 METODO DE ESTIMACIÓN EN PROYECTOS DGS -- 3.2.1 Visión general -- 3.2.2 Factores de DGS -- 3.2.3 Parámetros y ecuaciones de estimación DGS -- 3.2.4 Calibración del modelo -- 3.2.5 Modos de estimación de acuerdo al tipo de proyecto DGS -- 3.2.6 Herramienta de soporte: ESTIMA-DGS -- 3.3 CASO DE EJEMPLO -- 3.4 CONCLUSIONES -- 3.4.1 Agradecimientos -- 4 INGENIERÍA DE REQUISITOS PARA DGS -- 4.1 INGENIERÍA DE REQUISITOS Y GESTIÓN DEL CONOCIMIENTO -- 4.1.1 Reutilización de requisitos y gestión del conocimiento -- 4.2 RETOS PARA LA GESTIÓN (...) -- 4.3 SOLUCIONES (...) -- 4.3.1 El modelo de procesos -- 4.3.2 La arquitectura de soporte -- 4.4 RESUMEN -- 4.4.1 Agradecimientos -- 5 ARQUITECTURAS SOFTWARE EN DGS -- 5.1 INTRODUCCIÓN -- 5.2 ESTADO DEL ARTE SOBRE MÉTODOS DE DISEÑO DE ARQUITECTURAS -- 5.2.1 Métodos de diseño -- 5.2.2 Estilos arquitectónicos -- 5.3 MÉTODOGÍA DE DISEÑO DE ARQUITECTURAS -- 5.3.1 Organización -- 5.3.2 Determinar requisitos de la arquitectura -- 5.3.3 Diseño local de la arquitectura…”
Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca, Universidad Loyola - Universidad Loyola Granada)Libro electrónico -
2376Publicado 2017Tabla de Contenidos: “…LOS RIESGOS EN LA SOCIEDAD DEL RIESGO -- 4.1 ACOTACIÓN INICIAL -- 4.2 RIESGO TECNOLÓGICO -- 4.2.1 CIENCIA Y TECNOLOGÍA -- 4.2.1.1 CIENCIA -- 4.2.1.2 TECNOLOGÍA -- 4.2.1.3 RIESGO TECNOLÓGICO -- 4.2.1.4 CARACTERÍSTICAS DEL RIESGO TECNOLÓGICO -- 4.3 RIESGOS BIOTECNOLÓGICOS -- 4.3.1 ¿QUÉ ES LA BIOTECNOLOGÍA? …”
Libro electrónico -
2377Publicado 2017Tabla de Contenidos: “…blank -- Coal Use -- 4.2.4 Environmental Value Assessment for Natural Gas Substituting Coal -- 4.3 Social Value of Natural Gas as a Substitute for Coal -- 4.3.1 Social Loss of Coal Production -- 4.3.2 Social Loss of Coal Use -- 4.3.3 Social Value Assessment of Natural Gas as a Substitute for Coal -- 4.4 China's Achievements in Energy Conservation and Emissions Reduction -- 4.4.1 Targets and Main Measures for Sulphur Dioxide Emission Reduction During the Period of the 12th Five-Year Plan -- 4.4.2 Emissions Reduction Results Achieved During the 11th Five-Year Plan Period -- 4.4.3 Enormous Potential for Natural Gas to Substitute for Coal in Industrial Fuel and Residential Heating -- 5 Analysis of Medium- to Long-Term Natural Gas Demand and Supply -- 5.1 The Natural Gas Supply-Demand Model -- 5.1.1 Basic Characteristics of the Model -- 5.1.2 Main Intensifications and Adjustments Made Towards Studies of Natural Gas in This Model -- 5.2 Simulation Scenarios for Analysis Simulations of Natural Gas Demand -- 5.2.1 Key Assumptions of the Standard Scenario -- 5.2.2 Key Assumptions of the Policy-Driven Scenario -- 5.3 Natural Gas Supply and Demand in the Standard Scenario -- 5.3.1 Speed of Economic Growth and International Comparison -- 5.3.2 Mid- to Long-Term Changes in Industrial Structures -- 5.3.3 Energy Consumption and Structural Change -- 5.3.4 Demand for Natural Gas and Main Increases in Consumption -- 5.4 Natural Gas Supply and Demand in the Policy-Driven Scenario -- 5.4.1 Total Natural Gas Supply and Demand…”
Libro electrónico -
2378por Vermesan, OvidiuTabla de Contenidos: “…4.1 Internet of Robotic Things Concept -- 4.2 Emerging IoRT Technologies -- 4.2.1 Sensors and Actuators -- 4.2.2 Communication Technologies -- 4.2.3 Processing and Sensors/Actuators Data Fusion -- 4.2.4 Environments, Objects, Things Modelling and Dynamic Mapping -- 4.2.5 Virtual and Augmented Reality -- 4.2.6 Voice Recognition, Voice Control -- 4.2.7 Orchestration -- 4.2.8 Decentralised Cloud -- 4.2.9 Adaptation -- 4.2.10 Machine Learning as Enabler for Adaptive Mechanisms -- 4.2.11 End to End Operation and Information Technologies Safety and Security Framework -- 4.2.12 Blockchain -- 4.3 IoRT Platforms Architecture -- 4.3.1 IoRT Open Platforms Architectural Concepts -- 4.3.2 IoRT Open Platforms Interoperability -- 4.3.3 Marketplace for an IoRT Ecosystem -- 4.4 IoRT Applications -- 4.4.1 Introduction -- 4.4.2 Predictive and Preventive Maintenance -- 4.4.3 Autonomous Manufacturing -- 4.4.4 Autonomous Logistics, Delivery, e-commerce and Warehouse Automation -- 4.4.5 Autonomous Home Appliances, and Personal Robots -- 4.4.6 Healthcare Assistants, Elderly Assistance -- 4.4.7 Cleaning Robotic Things, Cleaning and Inspection Appliances -- 4.4.8 Buildings, Garden, City Maintenance -- 4.4.9 Entertainment and Well-Being -- 4.5 Robotics and IoT Multi Annual Roadmap -- 4.6 Discussion -- References -- Chapter 5 - STARTS - Why Not Using the Arts for Better Stimulating Internet of Things Innovation -- 5.1 Introduction -- 5.2 The STARTS Initiative -- 5.2.1 STARTS Prize -- 5.2.2 VERTIGO Coordination and Support Action -- 5.2.3 Internet of Things European Large-Scale Pilots Programme -- 5.2.4 STARTS Lighthouse Pilots -- 5.3 Internet of Things and the Arts -- 5.4 Conclusion -- References -- Chapter 6 - IoT Standards Landscape - State of the Art Analysis and Evolution -- 6.1 Introduction -- 6.2 IoT Standardisation in the Consumer, Business and Industrial Space…”
Publicado 2022
Libro electrónico -
2379Publicado 2020Tabla de Contenidos: “…6.3 Typing Conditionals -- 6.4 Open-logical Predicates for Refinement Types -- 7 Related Work -- 8 Conclusion and Future Work -- References -- Constructive Game Logic -- 1 Introduction -- 2 Related Work -- 3 Syntax -- 3.1 Example Games -- 4 Semantics -- 4.1 Realizers -- 4.2 Formula and Game Semantics -- 4.3 Demonic Semantics -- 5 Proof Calculus -- 6 Theory: Soundness -- 7 Operational Semantics -- 8 Theory: Constructivity -- 9 Conclusion and Future Work -- References -- Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis -- 1 Introduction -- 2 Preliminaries -- 2.1 The IFDS Framework -- 2.2 Trees and Tree Decompositions -- 3 Problem definition -- 4 Treewidth-based Data-ow Analysis -- 4.1 Preprocessing -- 4.2 Word Tricks -- 4.3 Answering Queries -- 4.4 Parallelizability and Optimality -- 5 Experimental Results -- 6 Conclusion -- References -- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- 1 Introduction -- 1.1 Correct Programs that Do Strange Things -- 1.2 Towards Simple Read-Only Specifications for Synthesis -- 1.3 Our Contributions -- 2 Program Synthesis with Read-Only Borrows -- 2.1 Basics of SSL-based Deductive Program Synthesis -- 2.2 Reducing Non-Determinism with Read-Only Annotations -- 2.3 Composing Read-Only Borrows -- 2.4 Borrow-Polymorphic Inductive Predicates -- 3 BoSSL: Borrowing Synthetic Separation Logic -- 3.1 BoSSL rules -- 3.2 Memory Model -- 3.3 Soundness -- 4 Implementation and Evaluation -- 4.1 Experimental Setup -- 4.2 Performance and Quality of the Borrowing-Aware Synthesis -- 4.3 Stronger Correctness Guarantees -- 4.4 Robustness under Synthesis Perturbations -- 5 Limitations and Discussion -- 6 Related Work -- 7 Conclusion -- References -- Soundness conditions for big-step semantics -- 1 Introduction -- 2 A meta-theory for big-step semantics -- 3 Extended semantics…”
Libro electrónico -
2380Publicado 2017Tabla de Contenidos: “…7.1.4 Comparison of Treatment Effect Between Mobilization and Immobilization -- 7.1.5 Citric Acid Elution-Washing-Stabilization Process -- 7.1.6 Elution Process Using Glyphosate -- 7.2 THERMAL TREATMENT OF ORGANIC POLLUTANTS IN CONSTRUCTION AND DEMOLITION WASTE -- 7.2.1 Influencing Factors in Microwave Treatment Process -- 7.2.1.1 Effect of Concentration of Pollutants (Phenanthrene) -- 7.2.1.2 Effect of Size of Construction and Demolition Waste and Stack Height -- 7.2.1.3 Effect of Pollutants -- 7.2.1.4 Effect of Power of Microwave -- 7.2.1.5 Effect of Reaction Time -- 7.2.1.6 Effect of Gas Flow -- 7.2.2 Conventional Heating Treatment Using Electric Oven -- 7.2.2.1 Effects of Construction and Demolition Waste Size on the Removal Efficiency -- 7.2.2.2 Effects of Temperature -- 7.2.3 Comparison Between Conventional Heat Treatment and Microwave Treatment of Organic Pollutants -- 7.3 STABILIZATION OF POLLUTANTS USING HIGH PRESSURE FORMATION -- 7.4 MILLING-OXIDATION TECHNIQUE FOR DEGRADING ORGANIC CONTAMINANTS FROM CONTAMINATED CONSTRUCTION AND DEMOLITION WASTE -- 7.4.1 Effectiveness of Oxidants -- 7.4.2 Influencing Factors for Milling-Oxidation Technique for Degrading Organic Contaminants From Contaminated C& -- D Waste -- 7.4.2.1 Milling Time -- 7.4.2.2 Milling Speed -- 7.4.2.3 Moisture Content -- 7.4.2.4 Oxidant Amount -- 7.4.3 Modeling Treatment of Milling-Oxidation Process -- 7.4.3.1 Relationship Between Removal Efficiency and the Specific Surface Area of Construction and Demolition Waste -- 7.4.3.2 Relationship Between Removal Efficiency and the Milling Time -- 7.4.3.3 Relationship Between Removal Efficiency and the Milling Speed -- 7.5 ECONOMIC PERFORMANCE OF TREATMENT FOR HEAVY METAL-CONTAMINATED WASTE: CASE STUDY -- Eight - Recycling Technologies and Pollution Potential for Contaminated Construction and Demolition Waste in Recycl ..…”
Libro electrónico