Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Engineering & Applied Sciences 239
- Development 177
- Data processing 165
- Application software 151
- Artificial intelligence 143
- Management 143
- Editing 137
- Computer Science 134
- Digital video 109
- Computer programs 103
- Photography 101
- Motion pictures 99
- Machine learning 92
- Digital techniques 87
- Design 86
- Economics 85
- Electrical & Computer Engineering 84
- Business & Economics 80
- Final cut (Electronic resource) 76
- Python (Computer program language) 76
- Computer security 73
- History 73
- Computer networks 71
- Programming 69
- Computer graphics 65
- Computer programming 62
- Telecommunications 62
- Security measures 60
- Web site development 60
- Leadership 58
-
2061
-
2062
-
2063
-
2064
-
2065Publicado 2009“…Joomla can be a challenge to understand at first, so drastically cut your "get up to speed" time by taking the Short Cut!…”
Libro electrónico -
2066Publicado 2008“…CCIE Routing and Switching Practice Labs (Digital Short Cut) Martin James Duggan ISBN-13: 978-1-58705-789-2 ISBN-10: 1-58705-789-1 CCIE Routing and Switching Practice Labs (Digital Short Cut) presents you with two full lab scenarios in exam style format to echo the real eight-hour CCIE Routing and Switching lab exam. …”
Libro electrónico -
2067
-
2068
-
2069Publicado 2018“…In most cases, you will find video producers using software that can only cut and mount video in a "traditional" way. What if you could use a software that offers not only options to edit and cut video, but also create 3D content and animation? …”
Libro electrónico -
2070
-
2071Publicado 2021Tabla de Contenidos: “…-- 3.2 The problem with digital communications -- 3.3 Ideas for in-person networking -- 3.4 Ideas for online networking -- 3.5 Etiquette for networking -- 3.5.1 In person -- 3.5.2 On LinkedIn -- 3.6 Becoming a confident networker -- 3.7 Action items -- 4 Be part of a technology community -- 4.1 The value of community to your career -- 4.2 Yes, you're worthy of contributing -- 4.3 Ways to contribute and participate -- 4.4 Etiquette for participating -- 4.4.1 On Q& -- A websites -- 4.4.2 In open source projects -- 4.5 Action items -- 5 Keep your tech skills fresh and relevant -- 5.1 Fresh vs. relevant -- 5.2 Deciding what's relevant -- 5.2.1 Proficient, not expert -- 5.2.2 Where to focus -- 5.3 Building strong learning muscles -- 5.4 Learning media -- 5.5 Assessing your relevancy -- 5.6 Tips for lifelong daily learning -- 5.7 Further reading -- 5.8 Action items -- 6 Show up as a professional -- 6.1 Be your word -- 6.1.1 Never promise what you cannot deliver -- 6.1.2 Always deliver what you promise -- 6.1.3 Be easy to work with -- 6.2 Be detailed and precise -- 6.3 Cut your losses when the time is right…”
Libro electrónico -
2072Publicado 2022Tabla de Contenidos: “…Monte Carlo Accuracy Evaluation of Laser Cutting Machine -- 21.1. Introduction -- 21.2. Mathematical model of a pintograph -- 21.3. …”
Libro electrónico -
2073Publicado 2017Tabla de Contenidos: “…Background -- Theoretical Methods -- Measurement Methods -- Proximity Effect -- 3.4.6 THE DANGER OF INDUCTIVE TRANSIENTS -- Relay Coils -- Transient Protection -- Protection Against Negative Transients -- AC Circuits -- 3.5 CRYSTALS AND RESONATORS -- Angle of Cut -- 3.5.1 RESONANCE -- 3.5.2 OSCILLATOR CIRCUITS -- Drive Level Resistance -- Series Circuit -- Layout -- 3.5.3 TEMPERATURE -- 3.5.4 CERAMIC RESONATORS -- 4 - Active Components -- 4.1 DIODES -- 4.1.1 FORWARD BIAS -- Forward Current -- Temperature Dependence of Forward Voltage -- 4.1.2 REVERSE BIAS -- Breakdown -- 4.1.3 LEAKAGE -- Leakage Variability -- 4.1.4 HIGH-FREQUENCY PERFORMANCE -- 4.1.5 SWITCHING TIMES -- Reverse Recovery -- Interference Due to Fast Recovery -- 4.1.6 SCHOTTKY DIODES -- General Purpose -- RF Mixers -- Rectifiers -- 4.1.7 ZENER DIODES -- Slope Resistance -- Leakage -- Temperature Coefficient -- Precision Zeners -- Zener Noise -- 4.1.8 THE ZENER AS A CLAMP -- An Application Example -- 4.2 THYRISTORS AND TRIACS -- 4.2.1 THYRISTOR VERSUS TRIAC -- 4.2.2 TRIGGERING CHARACTERISTICS -- 4.2.3 FALSE TRIGGERING -- 4.2.4 CONDUCTION -- 4.2.5 SWITCHING -- Turn-Off -- 4.2.6 SNUBBING -- Values for R and C -- 4.3 BIPOLAR TRANSISTORS -- 4.3.1 LEAKAGE -- A Simple Leakage Example -- Adding a Base-Emitter Resistor -- 4.3.2 SATURATION -- 4.3.3 THE DARLINGTON -- 4.3.4 SAFE OPERATING AREA -- Second Breakdown -- Safe Operating Area Curve -- 4.3.5 GAIN -- 4.3.6 SWITCHING AND HIGH-FREQUENCY PERFORMANCE -- Speeding Up the Turn-Off -- 4.3.7 GRADING -- 4.4 JUNCTION FIELD-EFFECT TRANSISTORS -- 4.4.1 PINCH-OFF -- 4.4.2 APPLICATIONS -- Analog Switches -- RF Circuits -- Current Regulators -- 4.4.3 HIGH-IMPEDANCE CIRCUITS -- The Gate Current Breakpoint -- Depressed Zin -- 4.5 MOSFETS -- 4.5.1 LOW-POWER MOSFETS -- Gate Breakdown -- Protection for the Gate -- MOSFET Trade-Offs…”
Libro electrónico -
2074Publicado 2019Tabla de Contenidos: “…Preface xiii -- Organization of the Book xv -- 1 Fuzzy/Intuitionistic Fuzzy Set Theory 1 -- 1.1 Introduction to Fuzzy Set 1 -- 1.2 Mathematical Representation of Fuzzy Sets 3 -- 1.3 Membership Function 6 -- 1.4 Fuzzy Relations 10 -- 1.5 Projection 13 -- 1.6 Composition of Fuzzy Relation 14 -- 1.7 Fuzzy Binary Relation 19 -- 1.8 Transitive Closure of Fuzzy Binary Relation 21 -- 1.9 Fuzzy Equivalence Relation 23 -- 1.10 Intuitionistic Fuzzy Set 24 -- 1.11 Construction of Intuitionistic Fuzzy Set 26 -- 1.12 Intuitionistic Fuzzy Relations 29 -- 1.13 Composition of Intuitionistic Fuzzy Relation 31 -- 1.13.1 Composition of IFR Using T-norms and T-conorms 32 -- 1.14 Intuitionistic Fuzzy Binary Relation 34 -- 1.14.1 Reflexive Property 34 -- 1.14.2 Symmetric Property 37 -- 1.14.3 Transitive Property 38 -- 1.15 Summary 39 -- References 39 -- 2 Playing with Fuzzy/Intuitionistic Fuzzy Numbers 41 -- 2.1 Introduction 41 -- 2.2 Fuzzy Numbers 41 -- 2.3 Fuzzy Intervals 42 -- 2.4 Zadeh́Ös Extension Principle 43 -- 2.4.1 Extension Principle for Two Variables 44 -- 2.5 Fuzzy Numbers with α-Levels 48 -- 2.6 Operations on Fuzzy Numbers with Intervals 52 -- 2.7 Operations with Fuzzy Numbers based on α-Levels 54 -- 2.8 Operations on Fuzzy Numbers Using Extension Principle 62 -- 2.8.1 Operations 63 -- 2.8.2 Examples on Operations of Fuzzy Numbers Using Extension Principle 64 -- 2.9 L-R Representation of Fuzzy Numbers 66 -- 2.10 Intuitionistic Fuzzy Numbers 73 -- 2.11 Triangular Intuitionistic Fuzzy Number 74 -- 2.12 Operations Using Triangular Intuitionistic Fuzzy Numbers 75 -- 2.13 Trapezoidal Intuitionistic Fuzzy Numbers 77 -- 2.14 Cut Set of Intuitionistic Fuzzy Number 78 -- 2.15 Distances Between Two Intuitionistic Fuzzy Numbers 80 -- 2.16 Summary 80 -- References 80 -- 3 Similarity Measures and Measures of Fuzziness 83 -- 3.1 Introduction 83 -- 3.2 Distance and Similarity Measures 83 -- 3.2.1 Distance Measure 84 -- 3.2.2 Similarity Measure 84 -- 3.3 Types of Distance Measure Between Fuzzy Sets 84.…”
Libro electrónico -
2075Publicado 2016Tabla de Contenidos: “…METHODOLOGY TUTORIAL -- 2.1 Step 1: Human Error Categorization -- 2.2 Step 2: Performance-Shaping Factor Rating -- 2.3 Step 3: Human Error Probability Calculation -- 2.4 Step 4: Accounting for Dependence -- 2.5 Step 5: Minimum Cut-off Value -- 3. APPLICATION OF SPAR-H -- 3.1 Drive-off of a Semisubmersible Drilling Unit -- 3.2 Human Failure Event Identification and Modeling -- 3.3 Human Error Probability Quantification -- 4. …”
Libro electrónico -
2076Publicado 2023Tabla de Contenidos: “…-- 1.3 The Continuous Strategic High Productivity Improvement -- 1.3.1 Estrangement Results between Company Health and Just Synchronous Operations -- 1.3.2 Changing from Synchronous Operations to Synchronous Profitable Operations -- 1.3.3 Synchronous Profitable Operations Should be Continuously Enhanced -- 1.3.4 The Crucial Role of Strategic Productivity Improvement -- 1.4 The Potential for Profitability Increases Based on Productivity -- 1.5 Targeting the Strategic High Productivity Improvement -- 1.6 The New Approach to Strategic Systematic Improvements -- 1.7 The Strategic Kaizen for Synchronous Profitable Operations -- 1.7.1 The Concept -- 1.7.2 The Basic Image -- 1.7.3 The Seven Basic Processes -- 1.7.4 Five Problems Targeted to Be Solved -- 1.8 Conclusion -- References -- Chapter 2 Current Condition, Basic Policy, and Strategy -- 2.1 Studying the Impact of Current Strategies on Operations and Lowering Costs -- 2.2 Deep Understanding of the Company's Key External Factors -- 2.3 Internal Strategic Capabilities -- 2.4 Current Business Performance Against Expectations -- 2.4.1 Operational and Financial Performance -- 2.4.2 Current Level of Synchronous Profitable Operations -- 2.5 The Basic Policy Framework for Strategic Kaizen -- 2.5.1 At the Cutting Edge: Identifying Strategic Drivers -- 2.5.2 Two Productivity Improvement Scenarios -- 2.5.3 The Strategic Intent of Each Strategic Drivers -- 2.6 Winning Key Strategies…”
Libro electrónico -
2077Publicado 2015Tabla de Contenidos: “…3.3.8 Summary -- 3.4 Ensembles of Nonmaintained Components -- 3.4.1 System Functional Decomposition -- 3.4.2 Some Examples of System and Service Functional Decompositions -- 3.4.3 Reliability Block Diagram -- 3.4.4 Ensembles of Single-Point-of-Failure Units: Series Systems -- 3.4.5 Ensembles Containing Redundant Elements: Parallel Systems -- 3.4.6 Structure Functions -- 3.4.7 Path Set and Cut Set Methods -- 3.4.8 Reliability Importance -- 3.4.9 Non-Service-Affecting Parts -- 3.5 Reliability Modeling Best Practices for Systems Engineers -- 3.6 Chapter Summary -- 3.7 Exercises -- References -- Chapter 4 Reliability Modeling for Systems Engineers: Maintained Systems -- 4.1 What to Expect from this Chapter -- 4.2 Introduction -- 4.3 Reliability Effectiveness Criteria and Figures of Merit for Maintained Systems -- 4.3.1 Introduction -- 4.3.2 System Reliability Process -- 4.3.3 Reliability Effectiveness Criteria and Figures of Merit Connected with the System Reliability Process -- 4.3.4 When is a Maintainable System Not a Maintained System? …”
Libro electrónico -
2078Publicado 2024Tabla de Contenidos: “…6.3 Issues and Challenges Towards Online Social Networking in Smart Healthcare -- 6.4 Popular Case Study 1: Online Social Networking in Smart Healthcare -- 6.5 Integrating Social Networking into Healthcare Policies for Better and Reliable Services -- 6.6 Future Opportunities and Innovation Towards Online Social Networking in Healthcare -- 6.7 An Open Discussion on OSN for Healthcare with Cutting Edge Technologies for Modern People -- 6.8 Conclusion -- References -- Chapter 7 Application and Future Trends in Online Social Networking for the Next Generation -- 7.1 Introduction to Online Social Networking, and Next Generation Society: Fundamentals, and Key Component and Features -- 7.1.1 Background -- 7.1.2 Scope and Importance of Online Social Networking in the Next Decade -- 7.1.3 Organization of the Work -- 7.2 Current Applications of Online Social Networking -- 7.3 Role of Emerging Applications in Making Effective Online Social Networking -- 7.3.1 Blockchain-Internet of Things (IoT) Integration in OSN -- 7.3.2 Quantum Computing in OSN -- 7.4 Next-Generation Social Networking Technologies for Modern Generation -- 7.4.1 Advanced Communication Tools for Next Generation Society -- 7.5 Future Research Opportunities Towards Online Social Networking for the Next Generation -- 7.6 Open Issues and Challenges in Next-Generation Machine-Based Social Networking -- 7.7 User Perspectives and Expectations Today by OSN and Its Effect on Modern Society/Generation -- 7.8 Conclusion -- References -- Chapter 8 Security and Possible Threats in Today's Online Social Networking Platforms -- 8.1 Introduction -- 8.1.1 Background -- 8.1.2 Importance of Security in Online Social Networking -- 8.2 Existing Security Architecture in Social Networking Platforms -- 8.3 Common Security Threats on Network and Websites…”
Libro electrónico -
2079Publicado 2023Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- List of Figures -- List of Tables -- Preface -- Part I: Diatom Form and Size Dynamics -- Chapter 1 Modeling the Stiffness of Diploneis Species Based on Geometry of the Frustule Cut with Focused Ion Beam Technology -- 1.1 Introduction -- 1.2 Material and Methods -- 1.2.1 Focused Ion Beam (FIB) Milling -- 1.2.2 Modeling -- 1.3 Results -- 1.3.1 FIB Processing -- 1.3.2 Modeling -- 1.4 Discussion -- 1.4.1 Practical Meaning of the Frustule Geometric Characters -- 1.4.2 Documenting the Mechanical Strength of the Diatom Frustule -- Acknowledgments -- References -- Chapter 2 Size-Resolved Modeling of Diatom Populations: Old Findings and New Insights -- 2.1 Introduction -- 2.2 The MacDonald-Pfitzer Rule and the Need for Matrix Descriptions -- 2.3 Cardinal Points and Cycle Lengths -- 2.3.1 Considered Cardinal Parameters -- 2.3.2 Factors Determining Cardinal Points -- 2.3.3 Experimental Data -- 2.4 Asymmetry, Delay and Fibonacci Growth -- 2.4.1 The Müller Model -- 2.4.2 The Laney Model -- 2.5 Continuous vs. …”
Libro electrónico -
2080por Gurfinkel, ArieTabla de Contenidos: “…Intro -- Preface -- Organization -- Invited Talks -- How to Solve Math Problems Without Talent -- Bridging Formal Mathematics and Software Verification -- The Art of SMT Solving -- Contents - Part I -- Contents - Part II -- Contents - Part III -- Decision Procedures -- Split Gröbner Bases for Satisfiability Modulo Finite Fields -- 1 Introduction -- 1.1 Related Work -- 2 Background -- 3 Motivating Example -- 3.1 Verifying the Determinism of Num2Bits -- 3.2 The Challenge of Bit-Splitting -- 3.3 Cooperative Reasoning: A Path Forward -- 4 Approach -- 4.1 Split Gröbner bases -- 4.2 Abstract Procedure: Split -- 4.3 Concrete Procedure: BitSplit -- 5 Experiments -- 5.1 Benchmarks -- 5.2 Comparison to Prior Solvers -- 5.3 Comparison to Variants -- 6 Application -- 6.1 Background on Verifiable Field-Blasting -- 6.2 A New Strategy for Verifying Operator Rules -- 7 Conclusion -- A Additional Background -- B Computing Bitsum Usage in Real World Projects -- C Proof of Theorem 1 -- D Proof of Theorems 2 and 3 -- E Proof of Lemma 1 -- F The Seq Benchmark Family -- G Proof of Theorem 4 -- References -- Arithmetic Solving in Z3 -- 1 Introduction -- 2 Design Goals and Implementation Choices -- 3 Linear Real Arithmetic -- 3.1 Linear Solving -- 3.2 Finding Equal Variables - Cheaply -- 3.3 Bounds Propagation -- 4 Integer Linear Arithmetic -- 4.1 Patching -- 4.2 Cubes -- 4.3 GCD Consistency -- 4.4 Branching -- 4.5 Cuts -- 5 Non-linear Arithmetic -- 5.1 Patch Monomials -- 5.2 Bounds Propagation -- 5.3 Adding Bounds -- 5.4 Gröbner reduction -- 5.5 Incremental Linearization -- 5.6 NLSat -- 6 Shared Equalities -- 7 Evaluation -- 8 Summary and Discussion -- References -- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic -- 1 Introduction -- 2 Preliminaries -- 3 Classical Automata-Based Decision Procedure for LIA…”
Publicado 2024
Libro electrónico