Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Historia 2,228
- Història 1,562
- Universidad Pontificia de Salamanca (España) 1,505
- Documentales 1,157
- Engineering & Applied Sciences 827
- History 658
- Development 588
- Computer Science 583
- Església Catòlica 570
- Mapes 494
- Fonts 482
- Application software 475
- Documents pontificis 414
- Management 404
- Computer programs 359
- HTML (Document markup language) 354
- Design 352
- Web sites 336
- Web site development 318
- Iglesia Católica 299
- Data processing 295
- Fonts històriques 283
- Color 277
- Crítica e interpretación 277
- Documentos 269
- Universidad Pontificia de Salamanca, Facultad de Educación 241
- Política y gobierno 227
- Business & Economics 226
- Computer networks 226
- Operating systems (Computers) 220
-
29581Publicado 2019Tabla de Contenidos: “…Graft manipulation -- 20. Documentation of engraftment and chimerism after HSCT -- 21. …”
Libro electrónico -
29582por Petrozzi, SergioTabla de Contenidos: “…4.3.2 Method Optimization4.3.3 Calibration; 4.4 Assessment; 4.4.1 Quantification; 4.4.2 ("True") Content; 4.5 Validation; 4.5.1 Validation Elements; 4.5.2 Using the Computer; 4.6 Final Documentation; 4.6.1 Review; 5: Example of a Validation Strategy; 5.1 Determination of Phenol in Industrial Waste Water; 5.1.1 Confirmation of Identity; 5.1.2 Sample Content Determination; 5.1.3 Selection; 6: Organizational and Practical Procedures in the Teaching Laboratory Program; 6.1 Goals; 6.2 Safety in the Laboratory Class; 6.3 Experimental Project Workflow; 6.3.1 Preparation; 6.3.2 Laboratory Notebook…”
Publicado 2012
Libro electrónico -
29583Publicado 2018Tabla de Contenidos: “…Cover -- Title Page -- Copyright and Credits -- Dedication -- Packt Upsell -- Contributors -- Table of Contents -- Preface -- Chapter 1: Common Performance Pitfalls -- Asking the Rust compiler about performance -- Optimizations -- Build configuration -- Optimization level -- Debug information -- Link-time optimizations -- Debug assertions -- Panic behavior -- Runtime library paths -- Translation issues -- Indexing degradations -- Using iterators -- Iterator adaptors -- Real-life example -- Specialized adaptors -- Interaction between adaptors -- Itertools -- Borrowing degradations -- Cyclomatic complexity -- Summary -- Chapter 2: Extra Performance Enhancements -- Compile-time checks -- Sequential state machines -- Complex state machines -- Real-life type system check example -- Extra performance tips -- Using closures to avoid runtime evaluation -- Unstable sorting -- Map hashing -- Perfect hash functions -- Standard library collections -- Sequences -- Maps -- Sets -- Summary -- Chapter 3: Memory Management in Rust -- Mastering the borrow checker -- Allocations -- Mutability, borrowing, and owning -- Lifetimes -- Memory representation -- Alignment -- Complex enumerations -- Unions -- Shared pointers -- The cell module -- Cells -- RefCell -- The rc module -- Summary -- Chapter 4: Lints and Clippy -- Using Rust compiler lints -- Lints -- Avoiding anonymous parameters -- Avoiding heap allocated box pointers -- Avoiding missing implementations -- Enforcing documentation -- Pointing out trivial casts -- Linting unsafe code blocks -- Unused lints -- Variant size differences -- Lint groups -- Clippy -- Installation -- Configuration -- Lints -- Casting -- Bad practice -- Performance lints -- Unwraps -- Shadowing -- Integer overflow -- Lint groups -- Summary -- Chapter 5: Profiling Your Rust Application -- Understanding the hardware…”
Libro electrónico -
29584Publicado 2018Tabla de Contenidos: “…Swim preference - analysis involving a random forest -- Analysis -- Random forest construction -- Construction of random decision tree number 0 -- Construction of random decision tree number 1 -- Constructed random forest -- Classification using random forest -- Implementation of the random forest algorithm -- Playing chess example -- Analysis -- Random forest construction -- Classification -- Going shopping - overcoming data inconsistencies with randomness and measuring the level of confidence -- Analysis -- Summary -- Problems -- Analysis -- Clustering into K Clusters -- Household incomes - clustering into k clusters -- K-means clustering algorithm -- Picking the initial k-centroids -- Computing a centroid of a given cluster -- Using the k-means clustering algorithm on the household income example -- Gender classification - clustering to classify -- Analysis -- Implementation of the k-means clustering algorithm -- Input data from gender classification -- Program output for gender classification data -- House ownership - choosing the number of clusters -- Analysis -- Document clustering - understanding the number of k clusters in a semantic context -- Analysis -- Summary -- Problems -- Analysis -- Regression -- Fahrenheit and Celsius conversion - linear regression on perfect data -- Analysis from first principles -- Least squares method for linear regression -- Analysis using the least squares method in Python -- Visualization -- Weight prediction from height - linear regression on real-world data -- Analysis -- Gradient descent algorithm and its implementation -- Gradient descent algorithm -- Implementation -- Visualization - comparison of the least squares method and the gradient descent algorithm -- Flight time duration prediction based on distance -- Analysis -- Ballistic flight analysis - non-linear model -- Analysis…”
Libro electrónico -
29585por Pennisi, Cristian PabloTabla de Contenidos: “…-- 4.1 Introduction -- 4.2 Defining Normal Breast Hierarchy -- 4.3 Need for In Vitro Assays to Document Inter-Individual Heterogeneity in the Normal Breast -- 4.4 Future Directions -- Acknowledgements -- References -- Chapter 5 - The Role of Physical Microenvironmental Cues on Myogenesis: Implications for Tissue Engineering of Skeletal Muscle -- 5.1 Introduction -- 5.2 In Vitro Models of Adult Myogenesis -- 5.3 Effect of Soluble and Bound Biochemical Cues -- 5.4 Regulation of Cell Fate by Passive Physical Cues -- 5.4.1 Substrate Topography -- 5.4.2 Substrate Stiffness…”
Publicado 2022
Libro electrónico -
29586por OECDTabla de Contenidos: “…Identifying support measures, documenting their objectives and estimating their budgetary cost -- 2.3.1. …”
Publicado 2021
Libro electrónico -
29587Publicado 2017Tabla de Contenidos: “…Les outils de suivi et d'évaluation de la performance en Tunisie -- Les documents de la performance -- Résultats de l'expérimentation et l'évaluation de la performance -- Note -- Références -- Chapitre 4. …”
Libro electrónico -
29588por Tricker, RayTabla de Contenidos: “…2.8.4 Inter-relationship of process documentation2.9 What is a Quality Plan?; 2.9.1 What should be covered by a Quality Plan?…”
Publicado 2001
Libro electrónico -
29589por Yescombe, E. R.Tabla de Contenidos: “…5 Working with Lenders5.1 Introduction; 5.2 Commercial Banks; 5.2.1 Organizational Structure; 5.2.2 Project Finance and Structured Finance; 5.2.3 Lead Arrangers; 5.2.4 Letters of Intent; 5.2.5 Bank Rôles; 5.2.6 Financial Model; 5.2.7 Term Sheet, Underwriting, and Documentation; 5.2.8 Information Memorandum and Syndication; 5.2.9 Loan Agency; 5.2.10 Collateralized Loan Obligations (CLOs); 5.3 Bonds; 5.3.1 The Investment Bank and the Credit Rating Agencies; 5.3.2 Paying Agent, Trustees and Controlling Creditor; 5.4 Bank Loans Versus Bonds…”
Publicado 2014
Libro electrónico -
29590Publicado 2015Tabla de Contenidos: “…-- Five Key Tactics -- Master Database -- Customer ID Scheme -- Basic Segmentation Rules -- Program Automation Capability -- Dedicated Staff -- Conclusion -- Chapter 10: Campaign Creation: Segments, Logic, and Automation Are Your Friends, and Great Creative Matters More Than Ever -- Segments Matter -- Logic, Queries, and Data, Oh My -- Automating for Epic Scale -- Great Creative Matters More Than Ever -- Chapter 11: Behaviors and Mobile: Yes, It's Radically Different Than Every Other Channel -- The History of Serious Mobile -- Email versus SMS versus Apps -- The Fragmentation of Communication Itself -- Conclusion -- Chapter 12: Measurement and Optimization: Creating a Framework and Moving Your Own Goalposts -- Mixing the Right Channels -- Five Deeper Views -- Repeat Purchasers -- Deep Considerers -- Raving Fans -- Disinterested Recipients -- Percentage of Completed Records -- Being Your Own Harshest Critic -- Scoring: The Holy Grail of Objective Measurement -- Conclusion -- Part Three: Success Beyond the Behavioral Marketing Basics -- Chapter 13: It's All About the Team: Staffing the Right Players to Succeed -- The Marketer Persona -- Two Key Traits: Potential and Grit -- Making Great Marketing Managers -- Chapter 14: Managing Upwards: Socialize If You Must, Prove Results Every Time -- Seeing the Tree among the Forest -- Where to Begin When You're Alone -- Plan Less, Experiment More, and Document Everything -- Knowing You've Won or Lost -- Conclusion…”
Libro electrónico -
29591Publicado 2017Tabla de Contenidos: “…Stein -- Difusão e acesso a fontes históricas: o impacto da disponibilização on-line de documentos pelo projeto de preservação e disseminação do acervo histórico do Centro de Pesquisa e Documentação de História Contemporânea do Brasil da Fundação Getulio Vargas (CPDOC/FGV) / Renan Castro -- Recovery, discovery, and digital accessibility of critical Brazilian sources at ICAA's documents of 20th-century Latin American and Latino art: digital archive and publications project / Beatriz R. …”
Libro electrónico -
29592por OECDTabla de Contenidos: “…State of play -- Way forward -- Provide indirect financial incentives for innovation -- Introduce financing tools targeted at supporting the digital transformation in non-IT sectors -- Consider demand-side policies -- Deepen research / industry linkages -- Priority 6: Encouraging women's entrepreneurship -- State of play -- Way forward -- Develop gender-tailored support programmes -- Improve data collection on gender-related issues -- Step up awareness-raising activities to bridge the gender gap -- Priority 7: Developing the green economy -- State of play -- Way forward -- Set more concrete definitions and goals in the Strategy document -- Task Enterprise Georgia with leading support for SME greening -- Target efficiency measures to SMEs -- Build capacity and awareness of opportunities from green economy -- 2 Accelerating the digital transformation of SMEs -- Why SME digitalisation matters -- Digitalisation offers countless new opportunities for businesses -- The potential of digitalisation remains untapped, especially among SMEs -- Policymakers have a key role to play to support the digital transformation -- Building an enabling environment -- Improving broadband connectivity -- Creating a regulatory framework for the digital transformation -- E-commerce and consumer protection -- E-signatures -- Digital security, data privacy and protection to enhance trust -- Fostering digital skills development -- Fostering the uptake of digital technologies and services by SMEs -- Non-financial support -- Financial support -- Way forward: Roadmap to accelerate SME digitalisation -- Objective 1: Strengthen the institutional and policy framework for digitalisation -- Adopt a comprehensive National Digital Strategy with clearly defined objectives, actions and resources -- Task one of the existing SME support agencies with leading support for SME digitalisation…”
Publicado 2022
Libro electrónico -
29593por Jager, EricTabla de Contenidos: “…Implementation Wheel -- 8.2. Document -- 8.2.1. Information -- 8.2.1.1. Organization -- 8.2.1.2. …”
Publicado 2023
Libro electrónico -
29594Publicado 2007Tabla de Contenidos: “…Cover -- Contents -- Introduction -- Part I: Assembling the Graphics You'll Animate in Flash -- HOUR 1 Basics -- Jump Right In and Make an Animation -- Getting Your Bearings -- Getting Around in Flash -- Document Properties -- File Types -- Summary -- Q&A -- Workshop -- HOUR 2 Drawing and Painting Original Art in Flash -- Drawing on the Stage -- Tools -- Selecting and Transforming Objects -- Summary -- Q&A -- Workshop -- HOUR 3 Importing Graphics into Flash -- Vector Graphics Versus Raster Graphics -- Reasons to Avoid Importing Graphics -- Importing Vector Graphics -- Using Bitmaps (Also Known as Raster Graphics) -- Summary -- Q&A -- Workshop -- HOUR 4 Using the Library for Productivity -- The Concept of the Library -- Using the Library -- Using Symbols from the Library -- Summary -- Q&A -- Workshop -- HOUR 5 Controlling Color -- Using Blends and Filters -- Controlling Color -- Summary -- Q&A -- Workshop -- HOUR 6 Applied Layout Techniques -- Setting Text -- Applied Examples Using Color Styles, Blends, and Filters -- Summary -- Q&A -- Workshop -- Part II: Animating in Flash -- HOUR 7 Understanding Animation -- How Animation Works -- Elements of Animation -- Summary -- Q&A -- Workshop -- HOUR 8 Animation the Old-Fashioned Way -- Understanding the Brute-Force Animation Technique -- Enhancing a Frame-by-Frame Animation -- Summary -- Q&A -- Workshop -- HOUR 9 Using Motion Tweens to Animate -- Creating a Motion Tween -- Fine-Tuning a Motion Tween -- Summary -- Q&A -- Workshop -- HOUR 10 Using Shape Tweens to Morph -- Making a Shape Tween -- Refining and Fine-tuning a Shape Tween -- Summary -- Q&A -- Workshop -- HOUR 11 Including Sound in Animations -- Importing Sounds -- Using Sounds -- Controlling Quality and File Size -- Summary -- Q&A -- Workshop -- HOUR 12 Using Layers in Animations -- How Layers Work -- Using Layer Properties for Visual Effect…”
Libro electrónico -
29595por Stellman, AndrewTabla de Contenidos: “…Write the Vision and Scope Document; 2.2. Create the Project Plan; 2.2.2. Resource List…”
Publicado 2005
Libro electrónico -
29596por Ballad, TriciaTabla de Contenidos: “…Wrapping It Up -- Epilogue: Security Is a Lifestyle Choice: Becoming a Better Programmer -- Avoid Feature Creep -- Write Self-Documenting Code -- Use the Right Tools for the Job -- Have Your Code Peer-Reviewed -- Wrapping It Up -- Appendix: Additional Resources -- PEAR -- Books -- Web Sites -- Tools -- Integrated Development Environments (IDE) and Frameworks -- Exploit Testing Tools -- Automated Testing Tools -- Glossary…”
Publicado 2009
Libro electrónico -
29597por Kelly, Allan, 1969-Tabla de Contenidos: “…; 3.6.1 Codification; 3.6.2 Specification; 3.6.3 Hand-over; 3.6.4 The Documentation Myth; 3.7 Knowledge Creation; 3.8 Conclusion; Chapter 4 Learning; 4.1 Three Knowledge Domains; 4.2 Developing Software is Learning; 4.3 Learning Benefits Your Business; 4.4 Learning Theories; 4.4.1 Single-loop and Double-loop Learning; 4.4.2 Learning Styles; 4.5 Learning, Change, Innovation and Problem Solving…”
Publicado 2008
Libro electrónico -
29598por Summerfield, MarkTabla de Contenidos: “…File Handling -- Writing and Reading Binary Data -- Pickles with Optional Compression -- Raw Binary Data with Optional Compression -- Writing and Parsing Text Files -- Writing Text -- Parsing Text -- Parsing Text Using Regular Expressions -- Writing and Parsing XML Files -- Element Trees -- DOM (Document Object Model) -- Manually Writing XML -- Parsing XML with SAX (Simple API for XML) -- Random Access Binary Files -- A Generic BinaryRecordFile Class -- Example: The BikeStock Module's Classes -- Summary -- Exercises -- Chapter 8. …”
Publicado 2009
Libro electrónico -
29599Publicado 2014Tabla de Contenidos: “…PREFACE xi -- 1 INTRODUCTION: SERVICE RELIABILITY 1 -- 1.1 Motivation 4 -- 1.2 Technical Challenges 5 -- 1.3 Summary of Earlier Solutions 7 -- 1.4 Summary of New Ways to Verify Web Services 8 -- 1.5 Structure of the Book 10 -- References 11 -- 2 MODEL CHECKING 15 -- 2.1 Advantages and Disadvantages of Model Checking 18 -- 2.2 State-Space Explosion 19 -- 2.3 Model-Checking Tools 22 -- References 25 -- 3 PETRI NETS 27 -- 3.1 Colored Petri Nets 31 -- 3.1.1 CPN ML 31 -- 3.1.2 CPN Syntax and Semantics 35 -- 3.1.3 Timed Colored Petri Nets 41 -- 3.1.4 Multisets 47 -- 3.1.5 CPN Definitions 47 -- 3.2 Hierarchical Colored Petri Nets 49 -- References 55 -- 4 WEB SERVICES 57 -- 4.1 Business Process Execution Language 59 -- 4.2 Spring Framework 70 -- 4.3 JAXB 2 APIs 74 -- 4.3.1 Unmarshaling XML Documents 74 -- 4.3.2 Marshaling Java Objects 75 -- References 76 -- 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 -- 5.1 Motivation 78 -- 5.2 Overview of the Problem and Solution 79 -- 5.3 Related Work 83 -- 5.4 Models for Memory-Efficient State-Space Analysis 86 -- 5.4.1 Sequential Model 87 -- 5.4.2 Tree Model 98 -- 5.5 Experimental Results 108 -- 5.6 Discussion 112 -- 5.7 Summary 113 -- References 113 -- 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115 -- 6.1 Motivation 116 -- 6.2 Overview of the Problem and Solution 118 -- 6.3 Overview of Hierarchical Colored Petri Nets 119 -- 6.4 Related Work 123 -- 6.5 Technique for Time-Efficient State-Space Analysis 125 -- 6.5.1 Access Tables and Parameterized Reachability Graph 126 -- 6.5.2 Exploring a Module 129 -- 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134 -- 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137 -- 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143 -- 6.5.6 Theoretical Evaluation of the Reduction in Delay 145 -- 6.6 Experimental Results 149 -- 6.7 Discussion 151 -- 6.8 Summary 152 -- References 153 -- 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155 -- 7.1 Motivation 156 -- 7.2 Overview of the Problem and Solution 158 -- 7.3 Basics of Substitution Transition 160 -- 7.4 Related Work 161 -- 7.5 Method for Installing Hierarchy 162 -- 7.5.1 Lookup Method 163 -- 7.5.2 Clustering Method 189 -- 7.5.3 Time Complexity of the Lookup Algorithm 193 -- 7.6 Experimental Results 194 -- 7.7 Discussion 201 -- 7.8 Summary 202 -- References 203 -- 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205 -- 8.1 Motivation 206 -- 8.2 Overview of the Problem and Solution 208 -- 8.3 Related Work 209 -- 8.4 Colored Petri Net Semantics for BPEL 211 -- 8.4.1 Component A 211 -- 8.4.2 Component B 214 -- 8.4.3 Object Model for BPEL Activities 217 -- 8.4.4 XML Templates 221 -- 8.4.5 Algorithm for Cloning Templates 234 -- 8.5 Results 236 -- 8.6 Discussion 241 -- 8.7 Summary 242 -- References 242 -- 9 CONCLUSIONS AND OUTLOOK 245 -- 9.1 Results 246 -- 9.2 Discussion 249 -- 9.3 What Could Be Improved? …”
Libro electrónico -
29600por Witt, GrahamTabla de Contenidos: “…Rules engines; 3.2. Documenting rules; 3.2.1. Rules in data models; 3.2.1.1. …”
Publicado 2012
Libro electrónico