Search Results - CHKT~

Introduction to Financial Accounting U.S. GAAP Adaptation by Annand, David, Marchand, Donna, Dauderis, Henry

Table of Contents: “…Chapter 1: Introduction to Financial Accounting -- Chapter 2: The Accounting Process -- Chapter 3: Financial Accounting and Adjusting Entries -- Chapter 4: The Classified Balance Sheet and Related Disclosures -- Chapter 5: Accounting for the Sale of Goods -- Chapter 6: Assigning Costs to Merchandise -- Chapter 7: Cash and Receivables -- Chapter 8: Long-lived Assets -- Chapter 9: Debt Financing: Current and Long-term Liabilities -- Chapter 10: Equity Financing -- Chapter 11: The Statement of Cash Flows -- Chapter 12: Financial Statement Analysis -- Chapter 13: Proprietorships and Partnerships…”
Access online version

Analisis Materi Tata Bahasa dalam Situs http://mein-deutschbuch.de. by Nurmalasari, Yani

Link Metadata

ANALYSE DER NOMINALPHRASEN MIT MEHREREN ELEMENTEN ALS ATTRIBUTIV IN GESCHÄFTSBRIEFEN by Permatakasih, Christina Gloria

Link Metadata

Is it French? Popular Postnational Screen Fiction from France

Table of Contents: “…An Industry Perspective on Dix pour cent and Ten Percent. Interview with Harold Valentin and Christian Baute.…”
Link to Metadata

United States Copyright Law

Table of Contents: “…Protection of Semiconductor Chip Products -- Chapter 10. Digital Audio Recording Devices and Media -- Chapter 11. …”
Access online version

Introduction to the Modeling and Analysis of Complex Systems by Sayama, Hiroki

Table of Contents: “…Introduction -- Fundamentals of Modeling -- Basics of Dynamical Systems -- Discrete-Time Models I: Modeling -- Discrete-Time Models II: Analysis -- Continuous-Time Models I: Modeling -- Continuous-Time Models II: Analysis -- Bifurcations -- Chaos -- Interactive Simulation of Complex Systems -- Cellular Automata I: Modeling -- Cellular Automata II: Analysis -- Continuous Field Models I: Modeling -- Continuous Field Models II: Analysis -- Basics of Networks -- Dynamical Networks I: Modeling -- Dynamical Networks II: Analysis of Network Topologies -- Dynamical Networks III: Analysis of Network Dynamics -- Agent-Based Models…”
Access online version

Agent-Based Evolutionary Game Dynamics by Izquierdo, Luis R., Izquierdo, Segismundo S., Sandholm, William H.

Table of Contents: “…Spatial interactions on a grid -- 2.0. Spatial chaos in the Prisoner's Dilemma…”
Access online version

A Visual Atlas for Soil Micromorphologists by Verrecchia, Eric P., Trombino, Luca

Table of Contents: “…Depletions -- Chapter 56. Coatings with clays I -- Chapter 57. Coatings with clays II -- Chapter 58. …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Urinary Stents Current State and Future Perspectives /

Table of Contents: “…-- Ch 17: Biomaterials for ureteral stents: advances and future perspectives -- Ch 18: Coatings for urinary stents:current state and future directions -- Ch 19: Bacterial adhesion and biofilm formation: hydrodynamics effects -- Ch 20: Biomaterial-associated infection: pathogenesis and prevention -- Ch 21: Antibiotic-free solutions for the development of biofilm prevention coatings -- Ch 22: Plasma Based Approaches for Deposition And Grafting Of Antimicrobial Agents To Polymer Surfaces -- Ch 23: Antimicrobial biosurfactants towards the inhibition of biofilm formation -- Ch 24: Novel antimicrobial strategies to combat biomaterial infections -- Ch 25: Light-activated polymer nanocomposites doped with a new type of carbon quantum dots for antibacterial applications -- Ch 26: Nanoparticles. …”
Link to Metadata

Variational Principles in Classical Mechanics by Cline, Douglas

Table of Contents: “…1 A brief history of classical mechanics -- 2 Review of Newtonian mechanics -- 3 Linear oscillators -- 4 Nonlinear systems and chaos -- 5 Calculus of variations -- 6 Lagrangian dynamics -- 7 Symmetries, Invariance and the Hamiltonian -- 8 Hamiltonian mechanics -- 9 Hamilton’s Action Principle -- 10 Nonconservative systems -- 11 Conservative two-body central forces -- 12 Non-inertial reference frames -- 13 Rigid-body rotation -- 14 Coupled linear oscillators -- 15 Advanced Hamiltonian mechanics -- 16 Analytical formulations for continuous systems -- 17 Relativistic mechanics -- 18 The transition to quantum physics -- 19 Epilogue…”
Access online version

Technical Project Management in Living and Geometric Order by Russell, Jeffrey, Pferdehirt, Wayne, Nelson, John

Table of Contents: “…Managing Project Value, Budgets, and Costs -- 10. Allocating and Managing Constrained Resources -- 11. …”
Access online version

Undergraduate Diagnostic Imaging Fundamentals by Burbridge, Brent, Mah, Evan

Table of Contents: “…Chapter 1 – Introduction -- Chapter 2 – Principles of Radiation Biology and Radiation Protection -- Chapter 3 – Principles of Imaging Techniques -- Chapter 4 – Contrast Media in Radiology -- Chapter 5 – Approach to Reviewing X-ray Imaging -- Chapter 6 – Brain and Spine -- Chapter 7 – Breast -- Chapter 8 – Cardiovascular -- Chapter 9 – Chest -- Chapter 10 – Gastrointestinal and Abdominal -- Chapter 11 – Gynecology and Obstetrics -- Chapter 12 – Head and Neck -- Chapter 13 – Interventional / Vascular (Invasive) -- Chapter 14 – Musculoskeletal -- Chapter 15 – Pediatric -- Chapter 16 – Urogenital -- Chapter 17 – Normal, Reference Images, Unlabelled and Labelled…”
Access online version

Principles of Biology Biology 211, 212, and 213 by Bartee, Lisa, Shriner, Walter, Creech, Catherine

Table of Contents: “…Class Descriptions -- The Process of Science -- Chemistry for Biology -- Biological Molecules -- What is Life? -- Cell Structure and Function -- The Cell Membrane and Transport -- Cell Communication -- Enzyme-catalyzed reactions -- How cells obtain energy -- Photosynthesis -- Cell Division - Binary Fission and Mitosis -- BIOLOGY 212 - Genetics -- DNA and Chromosome Structure -- DNA Replication -- Mutations -- Protein Synthesis -- Gene Regulation -- Meiosis - Sexual Reproduction -- Patterns of Inheritance -- Genetics: Dog Coat Color -- Biotechnology -- BIOLOGY 213 - Ecology and Evolution -- Introduction to Evolution -- Evolution in Action -- Evolutionary Relationships -- Ecology and the Biosphere -- Population and Community Ecology -- Ecosystems -- Conservation Biology and Biodiversity…”
Access online version

Science and Innovations for Food Systems Transformation

Table of Contents: “…Chapter 18: Pathways to Advance Agroecology for a Successful Transformation to Sustainable Food Systems -- Chapter 19: A New Paradigm for Plant Nutrition -- Chapter 20: Livestock and sustainable food systems: status, trends, and priority actions -- Chapter 21: The Vital Roles of Blue Foods in the Global Food System -- Chapter 22: Food System Innovations and Digital Technologies to Foster Productivity Growth and Rural Transformation -- Chapter 23: Leveraging data, models & farming innovation to prevent, prepare for & manage pest incursions: Delivering a pest risk service for low-income countries -- Chapter 24: Food Systems Innovation Hubs in Low-and-Middle-Income Countries -- Chapter 25: A Whole Earth Approach to Nature Positive Food: Biodiversity and Agriculture -- Chapter 26: Water for Food Systems and Nutrition -- Chapter 27: Climate Change and Food Systems -- Chapter 28: Delivering climate change outcomes with agroecology in low- and middle-income countries: evidence and actions needed -- Chapter 29: Crop Diversity, its Conservation and Use for Better Food Systems -- Chapter 30: Safeguarding and using Fruit and Vegetable Biodiversity -- Chapter 31: Reduction of Food Loss and Waste - The Challenges and Conclusions for Actions -- Part V: COSTS, INVESTMENT, FINANCE, AND TRADE ACTIONS -- Chapter 32: The True Cost of Food - a preliminary assessment -- Chapter 33: Cost and Affordability of Preparing a Basic Meal around the World -- Chapter 34: The global cost of reaching a world without hunger: Investment costs and policy action opportunities -- Chapter 35: Financing SGD2 and Ending Hunger -- Chapter 36: Trade and Sustainable Food Systems -- Part VI: Regional Perspectives -- Chapter 37: Policy Options for food system transformation in Africa and the role of science, technology and innovation -- Chapter 38: The Role of Science, Technology and Innovation for Transforming Food Systems in Latin America and the Caribbean -- Chapter 39: The Role of Science, Technology, and Innovation for Transforming Food Systems in Asia -- Chapter 40: The Role of Science, Technology, and Innovation for Transforming Food Systems in Europe -- Chapter 41: Transforming Chinese Food Systems for both Human and Planetary Health -- Chapter 42: Key Areas of the Agricultural Science Development in Russia in the Context of Global Trends and Challenges -- Chapter 43: Food System in India. …”
Link to Metadata

Measuring the Business Value of Cloud Computing

Table of Contents: “…-Chapter 3 - The SaaS Payoff: Measuring the Business Value of Provisioning Software-as-a-Service Technologies Chapter 4 - Cloud service brokerage: Exploring characteristics and benefits of B2B cloud application marketplaces -- Chapter 5 - Economic Models for Federated Clouds: An Extension of Cost Models for Cloud Deployments -- Chapter 6 - Value creation and power asymmetries in digital ecosystems: A study of a cloud gaming provider -- Chapter 7 - Measuring the Business Value of Cloud Computing: Emerging Paradigms and Future Directions for Research.…”
Link to Metadata

The Adventure of Physics - Vol. I Fall, Flow, and Heat by Schiller, Christoph

Table of Contents: “…– Limits of continuity -- 12 Fluids and their motion -- 13 On heat and motion reversal invariance -- 14 Self-organization and chaos - the simplicity of complexity -- 15 From the limitations of physics to the limits of motion…”
Access online version

Quantitative Ecology A New Unified Approach by Lehman, Clarence, Loberg, Shelby, Clark, Adam

Table of Contents: “…Chapter 1. What is ecology? -- Chapter 2. Ecological theory -- Chapter 3. …”
Access online version

Transforming Food Systems for a Rising India by Pingali, Prabhu, Aiyar, Anaka, Abraham, Mathew, Rahman, Andaleeb

Table of Contents: “…Linking Farms to Markets: Reducing Transaction Costs and Enhancing Bargaining Power -- 9. Agricultural Technology for Increasing Competitiveness of Small Holders -- 10. …”
Link to Metadata