Search Results - TVP1~

Promoting Active Citizenship Markets and Choice in Scandinavian Welfare /

Table of Contents: “…Active citizenship in Scandinavian schools and nursing homes; Håkon Solbu Trætteberg -- 7. Does the type of service provider affect user satisfaction? …”
Link to Metadata

Business Information Systems Design an App for That by Frost, Raymond, Pike, Jacqueline, Kenyo, Lauren, Pels, Sarah

Table of Contents: “…Chapter 1: Information Systems in Your Life: Types of Systems and Careers -- Chapter 2: Information Systems to Enhance Business: Business Process Redesign -- Chapter 3: Professionalism in Deliverables: Principles of Graphic Design -- Chapter 4: User Centered Design: Design an iPhone App -- Chapter 5: Planning Usable Websites: Design a Website to Market the App -- Chapter 6: Build, Buy, or Reuse Solutions: Develop a Website to Market the App -- Chapter 7: Knowledge with Information Systems: Forecast Revenues and Expenses for the App -- Chapter 8: Decision Support: Determine Feasibility of a Business Loan for the App -- Chapter 9: Industry Analysis: Smartphone Apps -- Chapter 10: Business Intelligence: Analysis of App Sales Data -- Chapter 11: Writing the Business Case: Design a Report for the App -- Chapter 12: Presenting the Business Case: Design a Presentation for the App -- Chapter 13: Establishing Credentials: Networking and Placement -- Chapter 14: Microsoft PowerPoint Techniques -- Chapter 15: Cloud Computing Techniques -- Chapter 16: Microsoft Excel Techniques -- Chapter 17: Microsoft Access Techniques -- Chapter 18: Microsoft Word Techniques…”
Access online version

An Introduction to Ontology Engineering by Keet, Maria

Table of Contents: “…1 Introduction -- 2 First order logic and automated reasoning in a nutshell -- 3 Description Logics -- 4 The Web Ontology Language OWL 2 -- 5 Methods and Methodologies -- 6 Top-down Ontology Development -- 7 Bottom-up Ontology Development -- 8 Ontology-Based Data Access -- 9 Ontologies and natural languages -- 10 Advanced Modelling with Additional Languages Features…”
Access online version

Advances in Proof-Theoretic Semantics

Table of Contents: “…Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. …”
Link to Metadata

Artificial Intelligence Oceanography

Table of Contents: “…Theory and technology of artificial intelligence for oceanography -- Satellite data-driven internal wave forecast model based on machine learning techniques -- Detection and analysis of marine macroalgae based on artificial intelligence -- Tropical cyclone intensity estimation from geostationary satellite imagery -- Reconstructing marine environmental data based on deep learning -- Detecting oceanic processes from space-borne sar imagery using machine learning -- Deep convolutional neural networks-based coastal inundation mapping for un-defined least developed countries: taking madagascar and mozambique as examples -- Ai- based mesoscale eddy study -- Classifying sea ice types from sar images based on deep fully convolutional networks -- Detecting ships and extracting ship's size from SAR images based on deep learning -- Quality control of ocean temperature and salinity data based on machine learning technology -- automatic extraction of internal wave signature from multiple satellite sensors based on deep convolutional neural networks -- Automatic extraction of waterlines from large-scale tidal flats on SAR images and applications based on deep convolutional neural networks -- Forecast of tropical instability waves using deep learning -- Sea surface height prediction based on artificial intelligence.…”
Link to Metadata

White-Collar Crime in the Shadow Economy Lack of Detection, Investigation and Conviction Compared to Social Security Fraud / by Gottschalk, Petter, Gunnesdal, Lars

Table of Contents: “…Theory of Crime Convenience -- Chapter 3. Tip of the Crime Iceberg -- Chapter 4. Expert Elicitation for Estimation -- Chapter 5. …”
Link to Metadata

Aquaponics Food Production Systems Combined Aquaculture and Hydroponic Production Technologies for the Future /

Table of Contents: “…PART 1: FRAMEWORK CONDITIONS IN A RESOURCE LIMITED WORLD -- 1: Aquaponics and Global Food Challenges -- 2: Aquaponics: closing the cycle on limited water, land and nutrient resources -- 3: Recirculating Aquaculture Technology -- 4: Hydroponic Technology -- PART 2: SPECIFIC AQUAPONIC TECHNOLOGY -- 5: Aquaponics: The Basics -- 6: Bacterial Relationships in Aquaponics: New Research Directions -- 7: Coupled Aquaponic Systems -- 8: Decoupled Aquaponic Systems -- 9: Nutrient Cycling -- 10: Aerobic & Anaerobic Treatments for Aquaponic Sludge Reduction and Mineralisation -- 11: Systems Modelling -- 12: Aquaponics: Alternative Types and Approaches -- PART 3: PERSPECTIVE FOR SUSTAINABLE DEVELOPMENT -- 13: Fish Diets in Aquaponics -- 14: Plant Pathogens and Control Strategies in Aquaponics -- 15: Smarthoods: Aquaponics Integrated Microgrids -- 16: Aquaponics for the Anthropocene: Towards a 'sustainable first' Agenda -- PART 4: MANAGEMENT & MARKETING -- 17: Insight into Risk in Aquatic Animal Health in Aquaponics -- 18: Commercial Aqupaonics - A Long Road Ahead -- 19: Aquaponics: The Ugly Duckling in Organic Regulation -- 20: Regulatory Frameworks for Aquaponics within the EU -- 21: Aquaponics in the Built Environment -- PART 5: AQUAPONICS AND EDUCATION -- 22: Aquaponics as an Educational Tool -- 23: Opportunities and challenges in using aquaponics among young people at school - a Danish perspective -- 24: Aquaponics and Social Enterprise.…”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Aviation Weather Handbook FAA-H-8083-28 by Administration, Federal Aviation

Table of Contents: “…Aviation Weather Tools -- Appendix A. Cloud Types -- Appendix B. Standard Conversion Chart -- Appendix C. …”
Access online version

Female Genital Mutilation/Cutting in Children and Adolescents Illustrated Guide to Diagnose, Assess, Inform and Report /

Table of Contents: “…Appendix 4 : Photography - Technical Tips.…”
Link to Metadata

Rethinking Health Care Ethics by Scher, Stephen, Kozlowska, Kasia

Table of Contents: “…1 A Brief Introduction -- 2 The Limitations of Bioethics: A Personal History -- 3 The Rise of Bioethics: A Historical Overview -- 4 Theory and Practice: From the Top Down -- 5 The Elusiveness of Closure -- 6 Ethics and the Self -- 7 The Self in an Interpretive Community -- 8 A Framework for Teaching Clinical Health Care Ethics -- 9 Teaching Clinical Ethics in the Formal Curriculum -- 10 Teaching Ethics in a Clinical Setting -- 11 Empowering Clinicians -- Index.…”
Link to Metadata

Compliance and Initiative in the Production of Safety A Systems Perspective on Managing Tensions and Building Complementarity /

Table of Contents: “…Uncoupling, ambiguity, and autonomy - the criminology of organisational middle-management -- 6. The Effects of Top Managers' Organizational Reliability Orientation -- 7. …”
Link to Metadata

Louisiana's Response to Extreme Weather A Coastal State's Adaptation Challenges and Successes /

Table of Contents: “…Sojourners in a New Land: Hope and Adaptive Traditions -- Part4: Types/Locations of Communities and Their Responses to Extreme Weather -- Chapter8. …”
Link to Metadata

Progress in Landslide Research and Technology, Volume 1 Issue 2, 2022

Table of Contents: “…Suffosion landslides as a specific type of slope deformations in the European part of Russia (Oleg V. …”
Link to Metadata

Anatomy and Physiology 2e by Betts, J. Gordon, Young, Kelly A., Wise, James A

Table of Contents: “…The Tissue Level of Organization -- 4.1 Types of Tissues -- 4.2 Epithelial Tissue -- 4.3 Connective Tissue Supports and Protects -- 4.4 Muscle Tissue and Motion -- 4.5 Nervous Tissue Mediates Perception and Response -- 4.6 Tissue Injury and AgingUnit 2. …”
Access online version

Agricultural Value Chains in India Ensuring Competitiveness, Inclusiveness, Sustainability, Scalability, and Improved Finance /

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Evaluating Agricultural Value Chains on CISS-F Framework -- Chapter 3: Decoding Value Chains of Tomatoes, Onions and Potatoes (TOP) -- Chapter 4: Towards an Efficient Banana and Mango Value Chains in India -- Chapter 5: Analysis of Grapes and Pomegranates Value Chain -- Chapter 6: Towards Creation of an Efficient Dairy Value Chain -- Chapter 7: Poultry Value Chain in India -- Chapter 8: Pulses in India: A Value Chain Analysis -- Chapter 9: Developing Agricultural Value Chains in India- the Way Forward.…”
Link to Metadata

Integrated and Open Interpreter Education by Maroney, Elisa, Smith, Amanda, Hewlett, Sarah

Table of Contents: “…Section 2 -- Linguistic & Cultural Aspects of Interpreting -- Orientation to the Interpreted Interaction -- Interpreting English Grammar Classes: Theories, Tips, & Tools -- Developing Confident and Competent DeafBlind Interpreters -- III. …”
Access online version

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading LEAP-UCD-2017 /

Table of Contents: “…-Chapter26: Numerical Simulations of LEAP Dynamic Centrifuge Model Tests for Response of Liquefiable Sloping Ground -- Chapter27: LEAP-UCD-2017 Simulation Team Fugro -- Chapter28: LEAP-UCD-2017 Type-B Predictions through FLIP at Kyoto University -- Chapter29: LEAP-UCD-2017 Simulations at Tsinghua University -- Chapter30: Application of a SANISAND model for numerical simulations of the LEAP 2017 experiments -- Chapter31: Numerical Simulation Trial by Cocktail Glass Model in FLIP ROSE for LEAP-UCD -- Chapter32: Preliminary Seismic Deformation and Soil-Structure Interaction evaluationS of A caisson-supported Marine Terminal wharf retaining and founded on liquefiable soils -- Chapter33: Significance of calibration procedure consistency -- Chapter34: Paths forward for Evaluating Seismic Performance of Geotechnical structures -- Chapter35: Selected issues in the seismic evaluation of embankment dams for possible investigation by LEAP -- Chapter36: Soil permeability in centrifuge modeling -- Chapter37: Variation of permeability of viscous fluid during liuefaction model testing -- Chapter38: Post-liquefaction cyclic shear strain: phenomenon and mechanism.…”
Link to Metadata

The Adventure of Physics - Vol. VI The Strand Model - A Speculation on Unification by Schiller, Christoph

Table of Contents: “…-- 6 The Shape Of Points – Extension In Nature -- 7 The Basis Of The Strand Model -- 8 Quantum Theory Of Matter Deduced From Strands -- 9 Gauge Interactions Deduced From Strands -- 10 General Relativity Deduced From Strands -- 11 The Particle Spectrum Deduced From Strands -- 12 Particle Properties Deduced From Strands -- 13 Experimental Predictions Of The Strand Model -- 14 The Top Of Motion Mountain…”
Access online version

Stochastic Transport in Upper Ocean Dynamics STUOD 2021 Workshop, London, UK, September 20-23 /

Table of Contents: “…Mémin) -- A stochastic Benjamin-Bona-Mahony type equation (E. Dinvay) -- Observation-based noise calibration: an efficient dynamics for the Ensemble Kalman filter (B. …”
Link to Metadata