Search Results - TVP1~

Truth Claims Across Media

Table of Contents: “…Cameras, Pencils, Traumas: Drawn Images in and as Documentary Practice -- Part III Fact and Fake across Media Types -- Chapter 7. Fictionality as a Rhetorical Tool in Political Mockumentary Films: The Interplay of Fictionality and Factuality in C.S.A.: The Confederate States of America -- Chapter 8. …”
Link to Metadata

U.S. Federal Income Taxation of Individuals 2023 by Geier, Deborah A

Table of Contents: “…Expense” (or Current Depreciation) -- Unit II: Two Types of Gross Income: Compensation and Residual Gross Income -- Chapter 5: § 61(a)(1) Compensation -- Chapter 6: § 61 Residual Gross Income -- Unit III: The Possibilities for Income Shifting -- Chapter 7: Gifts and Bequests -- Chapter 8: Income Shifting in the Happy and Fractured Family -- Unit IV: Everything You Ever Wanted To Know About Debt but Were Afraid To Ask -- Chapter 9: Borrowing and Lending -- Chapter 10: The Bad-Debt Deduction (for Lenders) and Debt-Discharge Income (for Borrowers) -- Chapter 11: Debt and Property -- Unit V: The Ownership and Disposition of Property -- Chapter 12: Properly Accounting for, and the Nonrecognition of, §110011 Realized Gain or Loss -- Chapter 13: Depreciation in a Realization-Based Income Tax and the Business Interest Deduction -- Chapter 14: Capital Gains and Losses -- Chapter 15: Tax Shelters -- Unit VI: Distinguishing Between Income-Producing Activities and Personal Consumption and the Personal Consumption Tax Expenditures -- Chapter 16: On Human Capital -- Chapter 17: Homes, Health, Charity, and More -- Chapter 18: Gambling and Hobby Losses -- Chapter 19: Allocating Costs Between Income Production and Personal Consumption -- Unit VII: The Taxable Year and Methods of Accounting -- Chapter 20: The Taxable Year -- Chapter 21: Methods of Accounting…”
Access online version

Mapping, Society, and Technology by Manson, Steven

Table of Contents: “…Simplification -- 5.1 Thematic Map Types -- 5.2 Standardization -- 5.3 Classification -- 5.4 Generalization -- 5.5 Conclusion -- 6. …”
Access online version

Tools for Podcasting by Olmsted, Jill

Table of Contents: “…Preface -- Acknowledgements -- About the Author -- Chapter 1: Podcasting Growth, Trends, Landscape -- Chapter 2: Title, Description, Music, Cover Art -- Chapter 3: Microphones, Recorders, Filters -- Chapter 4: Best Practices for Recording -- Chapter 5: Interview Preparation, Listening, Ending -- Chapter 6: Scripting, Opens, Bumpers, Outros -- Chapter 7: Voicing Tips, Exercises, Script Marking -- Chapter 8: Audacity, Garageband, Audition Editing -- Chapter 9: Publishing Hosts, Transcription, Promotion -- Chapter 10: How Do You Measure Audience? …”
Access online version

Intangible Capital and Growth Essays on Labor Productivity, Monetary Economics, and Political Economy, Vol. 1 / by Roth, Felix

Table of Contents: “…Chapter 1: The Productivity Puzzle - A critical assessment and an outlook on the COVID-19 crisis -- Chapter 2: Revisiting intangible capital and labour productivity growth, 2000-2015: Accounting for the crisis and economic recovery in the EU -- Chapter 3: The Rule of Law and Labour Productivity Growth by Businesses: Evidence for the EU, 1998-2005 -- Chapter 4: Organizational Trust, Organizational Fear and TFP Growth: A sectoral analysis for the EU -- Chapter 5: Intangible Capital and Labor Productivity Growth: Panel evidence for the EU from 1998-2005 -- Chapter 6: Measuring Innovation - Intangible capital investment in the EU -- Chapter 7: Does too much trust hamper economic growth -- Chapter 8: Social Capital, Trust and Economic Growth.…”
Link to Metadata

Rewilding European Landscapes

Table of Contents: “…Bringing Large Mammals Back: Large Carnivores in Europe -- 5. Top Scavengers in a Wilder Europe -- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies -- 7. …”
Link to Metadata

Data Communications and Network Technologies by Huawei Technologies Co., Ltd

Table of Contents: “…Network Fundamentals -- Chapter 2. TCP/IP -- Chapter 3. VRP Fundamentals -- Chapter 4. …”
Link to Metadata

FROM MSA to CA A Beginner's Guide to Transitioning to Colloquial Arabic by Gomaa, Lina

Table of Contents: “…Chapter 1 -- A: Transitioning to CA:Final voweling and greeting terms in MSA and CA -- B: Greetings and ending conversations -- C: Cultural insight: Ending a conversation in a culturally acceptable manner -- Chapter 2 -- A: Transitioning to CA: WH Question words in MSA and CA -- B: Requests -- C: Cultural insights: Giving directions -- Chapter 3 -- A: Transitioning to CA: Verb tenses -- B: Dialogues -- C: Cultural insights: Phone conversations and communicating among different age groups in the Arab world -- Chapter 4 -- A: Transitioning to CA: Negation in MSA vs CA -- B: Accepting and rejecting invitations -- C: Cultural insights: Tips on dealing with culturally sensitive situations --…”
Access online version

Communication Beginnings An Introductory Listening and Speaking Text for English Language Learners by Abrahams, Della Jean

Table of Contents: “…Chapter 1- Learning how to speak and listen in English: -- Tips and strategies for increasing and retaining learning -- Advice on learning English in a university setting -- Chapter 2- Introductions -- Describing yourself and other people -- Chapter 3- Talking about travel and experiences: Page 25-36 -- Intonation in English -- Chapter 4- Discussing food and eating: Page 37-50 -- Understanding Conversational English with reduced speech -- Chapter 5- Describing places around town: Page 51-64 -- Addresses and place descriptions -- Chapter 6- Communicating about hobbies and routines: Page 65-73 -- Agreeing and Disagreeing in English -- Chapter 7- Discussing jobs and university majors: Page 74-85 -- Word and syllable stress in English…”
Access online version

Be Credible by Bobkowski, Peter, Younger, Karna

Table of Contents: “…Go Lateral With Cues and Evidence -- 8. Tap Into a Credibility Network -- 9. Contend With Bias -- III. …”
Access online version

Rethinking Productivity in Software Engineering

Table of Contents: “…Software Engineering Dashboard: Types, Risks, and Future -- Chapter 17. The COSMIC Method for Measuring the Work-Output Component of Productivity -- Chapter 18. …”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Big Data in Bioeconomy Results from the European DataBio Project /

Table of Contents: “…Part I - Technological Foundation: Big Data Technologies for BioIndustries: Big Data Technologies in DataBio -- Standards and EO data platforms -- Data Types: Sensor Data -- Remote sensing -- Crowdsourced Data -- Genomics Data -- Data Integration and Modelling: Linked Data and Metadata -- Linked Data usages in Databio -- Data Pipelines: Modeling and Evaluation of models -- Analytics and visualization: Data Analytics and Machine Learning -- Real-time Data Processing -- Privacy Preserving Analytics, Processing and Data Management -- Data Visualisation -- Part II - Applications in Agriculture: Introduction Smart Agriculture -- Smart farming for sustainable agricultural production -- Genomics Biomass pilots -- Yield Prediction in Sorghum (Sorghum bicolor (L.) …”
Link to Metadata

Introduction to Linear, Time-Invariant, Dynamic Systems for Students of Engineering by Hallauer, William

Table of Contents: “…Chapter 1 Introduction; examples of 1st and 2nd order systems; example analysis and MATLAB graphing -- Chapter 2 Complex numbers and arithmetic; Laplace transforms; partial-fraction expansion -- Chapter 3 Mechanical units; low-order mechanical systems; simple transient responses of 1st order systems -- Chapter 4 Frequency response of 1st order systems; transfer function; general method for derivation of frequency response -- Chapter 5 Basic electrical components and circuits -- Chapter 6 General time response of 1st order systems by application of the convolution integral -- Chapter 7 Undamped 2nd order systems: general time response; undamped vibration -- Chapter 8 Pulse inputs; Dirac delta function; impulse response; initialvalue theorem; convolution sum -- Chapter 9 Damped 2nd order systems: general time response -- Chapter 10 2nd order systems: frequency response; beating response to suddenly applied sinusoidal (SAS) excitation -- Chapter 11 Mechanical systems with rigid-body plane translation and rotation -- Chapter 12 Vibration modes of undamped mechanical systems with two degrees of freedom -- Chapter 13 Laplace block diagrams, and additional background material for the study of feedback-control systems -- Chapter 14 Introduction to feedback control: output operations for control of rotational position -- Chapter 15 Input-error operations: proportional, integral, and derivative types of control -- Chapter 16 Introduction to system stability: time-response criteria -- Chapter 17 Introduction to system stability: frequency-response criteria -- Appendix A: Table and derivations of Laplace transform pairs -- Appendix B: Notes on work, energy, and power in mechanical systems and electrical circuits -- Index for all Chapters and Appendices…”
Access online version

Documentary Making for Digital Humanists by Reid, Darren R., Sanders, Brett

Table of Contents: “…Settings, Lenses, Focus, and Exposure -- 10. Composing a Shot — Tips and Techniques -- 11. Shots and Compositions Considered -- 12. …”
Access online version

The European Blood and Marrow Transplantation Textbook for Nurses Under the Auspices of EBMT /

Table of Contents: “…HLA typing. Selecting the right donor. Which transplant for which patient? …”
Link to Metadata

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Where Code Executes -- Chapter 3: Data Management and Ordering the Uses of Data -- Chapter 4: Expressing Parallelism -- Chapter 5: Error Handling -- Chapter 6: Unified Shared Memory -- Chapter 7: Buffers -- Chapter 8: Scheduling Kernels and Data Movement -- Chapter 9: Local Memory and Work-group Barriers -- Chapter 10: Defining Kernels -- Chapter 11: Vector and Math Arrays -- Chapter 12: Device Information and Kernel Specialization -- Chapter 13: Practical Tips -- Chapter 14: Common Parallel Patterns -- Chapter 15: Programming for GPUs -- Chapter 16: Programming for CPUs -- Chapter 17: Programming for FFGAs -- Chapter 18: Libraries -- Chapter 19: Memory Model and Atomics -- Chapter 20: Backend Interoperability -- Chapter 21: Migrating CUDA Code -- Epilogue.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Mastering Strategic Management by Edwards, Janice, Ketchen, Dave, Short, Jeremy

Table of Contents: “…Chapter 1 -- Mastering Strategy: Art and Science -- Defining Strategic Management and Strategy -- Intended, Emergent, and Realized Strategies -- The History of Strategic Management -- Understanding the Strategic Management Process -- Conclusion -- Chapter 2 -- Leading Strategically -- Vision, Mission, and Goals -- Assessing Organizational Performance -- The CEO as Celebrity -- Entrepreneurial Orientation -- Conclusion -- Chapter 3 -- Evaluating the External Environment -- The Relationship between an Organization and Its Environment -- Evaluating the General Environment -- Evaluating the Industry -- Mapping Strategic Groups -- Conclusion -- Chapter 4 -- Managing Firm Resources -- Resource-Based Theory -- Intellectual Property -- Value Chain -- Beyond Resource-Based Theory: Other Views on Firm Performance -- SWOT Analysis -- Conclusion -- Chapter 5 -- Selecting Business-Level Strategies -- Understanding Business-Level Strategy through “Generic Strategies” -- Cost Leadership -- Differentiation -- Focused Cost Leadership and Focused Differentiation -- Best-Cost Strategy -- Stuck in the Middle -- Conclusion -- Chapter 6 -- Supporting the Business-Level Strategy: Competitive and Cooperative Moves -- Making Competitive Moves -- Responding to Competitors' Moves -- Making Cooperative Moves -- Conclusion -- Chapter 7 -- Competing in International Markets -- Advantages and Disadvantages of Competing in International Markets -- Drivers of Success and Failure When -- Competing in International Markets -- Types of International Strategies -- Options for Competing in International Markets -- Conclusion -- Chapter 8 -- Selecting Corporate-Level Strategies -- Concentration Strategies -- Vertical Integration Strategies -- Diversification Strategies -- Strategies for Getting Smaller -- Portfolio Planning and Corporate-Level Strategy -- Conclusion -- Chapter 9 -- Executing Strategy through Organizational Design -- The Basic Building Blocks of Organizational Structure -- Creating an Organizational Structure -- Creating Organizational Control Systems -- Legal Forms of Business -- Conclusion -- Chapter 10 -- Leading an Ethical Organization: Corporate Governance, Corporate Ethics, and Social Responsibility -- Boards of Directors -- Corporate Ethics and Social Responsibility -- Understanding Thought Patterns: A Key to Corporate Leadership? …”
Access online version