Search Results - ABSP~

Refine Results
  1. 8761

    Higher Education Reforms in Romania Between the Bologna Process and National Challenges /

    Published 2015
    Table of Contents: “…The role of impact assessment in evidence-based HE policy making. The contribution of transparency tools Lucian Ciolan: Romita Lucu, Calin Hintea, Ciprian Fartusnic, Mihai Paunescu -- 3. …”
    Link to Metadata
    Electronic eBook
  2. 8762

    Care in Healthcare Reflections on Theory and Practice /

    Published 2018
    Table of Contents: “…Ethical Challenges With a Focus on Nurses in a Home-Based Care Team' by Pei-Yi Liu and Helen Kohlen -- 12. …”
    Link to Metadata
    Electronic eBook
  3. 8763

    Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2018
    Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
    Link to Metadata
    Electronic eBook
  4. 8764

    Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings /

    Published 2018
    Table of Contents: “…Agile requirements -- COSMIC User Story Standard -- Improving Mockup-based Requirement Specification with End-User Annotations -- Agile testing -- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment -- Software tester, we want to hire you! …”
    Link to Metadata
    Electronic eBook
  5. 8765

    Performing Citizenship Bodies, Agencies, Limitations /

    Published 2019
    Table of Contents: “…Practices of Politicizing Listening (to Migration): 'The point of language will no longer only be about communication, but also about pleasure and politics'; Nanna Heidenreich -- 19. …”
    Link to Metadata
    Electronic eBook
  6. 8766

    Alterung und Pflege als kommunale Aufgabe Deutsche und japanische Ansätze und Erfahrungen /

    Published 2022
    Table of Contents: “…-Japans "Comprehensive Community Based Care System" - Anmerkungen aus deutscher Sicht -- Die häusliche Pflege älterer Menschen in Deutschland - eine gesamtgesellschaftliche Herausforderung -- Neue Gemeinschaften und neue Rollenverteilung in der japanischen Demenzversorgung - Beispiele guter Praxis.…”
    Link to Metadata
    Electronic eBook
  7. 8767

    Sustainable Living with Environmental Risks

    Published 2014
    Table of Contents: “…Managing Environmental Risks and Promoting Sustainability: Science Advancement and Leadership Development -- Biodiversity Agriculture Supports Human Populations -- Conservation and Sustainable Management of Soil Biodiversity for Agricultural Productivity -- Conservation Tillage Assessment For Mitigating Greenhouse Gas Emission In Rainfed Agro-Ecosystem -- Improving Biodiversity in Rice Paddy Fields to Promote Land Sustainability -- Agroforestry Models for Promoting Effective Risk Management and Building Sustainable Communities -- Managing Environmental Risks and Promoting Sustainability: Conservation of Forest Resources in Madagascar -- Community-Based Mangrove Forest Management in Thailand: Key Lesson Learned for Environmental Risk Management -- Necessity of Adaptive Risk Management for Fisheries and Wildlife -- Valuation of Non-Marketed Agricultural Ecosystem Services and Food Security in Southeast Asia -- Emerging Socio-Economic and Environmental Issues Affecting Food Security: A Case Study of Silang-Santa Rosa Subwatershed -- Strengthening the Capacity of Flood-Affected Rural Communities in Padang Terap, State of Kedah, Malaysia -- Mitigating Coastal Erosion in Fort Dauphin, Madagascar -- Risk Management of Chemical Pollution: Principles from the Japanese Experience -- Research on the Sod Between Chlorophyll-a and Organic Matter BOD, COD, Phosphorus and Total Nitrogen in Stagnant Lake Basins -- Managing Construction Development Risks to the Environment -- Ecosystem Restoration Using the Near-Natural Method in Shanghai -- Sustainable Management of Urban Green Environments: Challenges and Opportunities -- Environment and Social Capacity Assessment for Sustainability Promotion and Risk Management -- Rural Landscape Conservation in Japan: Lessons from the Satoyama Conservation Program in Kanagawa Prefecture -- Enhancing Students' Ecological Thinking to Improve Understanding of Environmental Risk -- Interactive Multimedia Education System (IMES) as a International Education Platform.…”
    Link to Metadata
    Electronic eBook
  8. 8768

    Multi-dimensional Approaches Towards New Technology Insights on Innovation, Patents and Competition /

    Published 2018
    Table of Contents: “…A Framework to Formulate a National IP Policy -- The Development and Theoretical Controversy of SEP Licensing Practices in China -- The Interaction Between IP and Competition Laws in the EU: Necessity of Convergent Interpretation with the Principles Established by Relevant Case Law -- IP, patents and competition law in Australia -- Regulating Abuse of SEPs in Mobile Communications Market: Reviewing the Qualcomm Cases in Korea -- "Predatory" patent practices: A telecom perspective -- The Demographics of Intellectual Property -- Innovation, economic value and welfare implications of digital economy -- Market competition and IP infringement in the solar off-grid sector -- Innovation and Intellectual Property: Perspectives from Indian Small & Medium Enterprises (SMEs) -- When Competition Agencies Harm Competition: Essential Patents -- Antitrust Economics in the New Digital Economy -- Standard Essential Patents vis-à-vis IPR and Competition Law in India - Is there a Regulatory Overlap? …”
    Link to Metadata
    Electronic eBook
  9. 8769

    Sustainable Qatar Social, Political and Environmental Perspectives /

    Published 2023
    Table of Contents: “…Developing A Vibrant Entrepreneurship Ecosystem in Qatar: A Sustainable Pathway Toward the Knowledge-based Economy? -- Chapter 19. Pathways for a Sustainable Future. .…”
    Link to Metadata
    Electronic eBook
  10. 8770

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

    Published 2020
    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
    Electronic eBook
  11. 8771

    Mathematics for Elementary Teachers by Manes, Michelle

    Published 2017
    Table of Contents: “…Place Value -- Dots and Boxes -- Other Rules -- Binary Numbers -- Other Bases -- Number Systems -- Even Numbers -- Problem Bank -- Exploration -- III. …”
    Access online version
    Electronic eBook
  12. 8772

    Rethinking Sustainability Towards a Regenerative Economy

    Published 2021
    Table of Contents: “…Water Runoff And Catchment Improvement By Nature Based Solution (Nbs) Promotion In Private Household Gardens: An Agent-Based Model (Rembrandt Koppelaar, Antonino Marvuglia And Benedetto Rugani) -- Chapter 6. …”
    Link to Metadata
    Electronic eBook
  13. 8773

    The Interconnected Arctic - UArctic Congress 2016

    Published 2017
    Table of Contents: “…Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover -- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits -- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia -- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas -- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland -- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic -Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment -- Chapter 7. …”
    Link to Metadata
    Electronic eBook
  14. 8774

    National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law National Reports /

    Published 2019
    Table of Contents: “…Political/Evolutionary Constitutions: The Predominant Role of Parliament with the Absence of or a Weak Role for a Constitutional Court, and a Generic or ECHR-Based Bill of Rights -- Chapter 3. Europe's Gift to the United Kingdom's Unwritten Constitution - Juridification -- Chapter 4. …”
    Link to Metadata
    Electronic eBook
  15. 8775

    Green Infrastructure and Climate Change Adaptation Function, Implementation and Governance /

    Published 2022
    Table of Contents: “…Chapter 1: Introduction -- Part 1: Concept and synthesis -- Chapter 2: Concept and application of hybrid infrastructure -- Chapter 3: An Economic Analysis of Optimal Hybrid Infrastructure: A Theoretical Approach in a Hydro-Economic Model -- Chapter 4: Flood Management Policy in Shiga Prefecture, Japan: Implementation Approach of a Risk-Based Flood Management System at Catchment Scale -- Chapter 5: Toward social infrastructure: typological idea for evaluating implementation potential of green infrastructure -- Part 2 : Forest ecosystem -- Chapter 6: Riparian Forests and Climate Change: Interactive Zone of Green and Blue Infrastructure -- Chapter 7: Improvement of the flood-reduction function of forests based on their interception evaporation and surface storage capacities -- Chapter 8: Forests for water: A step-by-step guide for payment schemes -- Part 3: River and floodplain ecosystem (including paddy field and other farmlands) -- Chapter 9: Wetland Paddy Fields as Green Infrastructure against Flood -- Chapter 10: Change in Floodwater Retention Function of a Paddy Field due to Cultivation Abandonment in a Depopulating Rural Region in Japan -- Chapter 11: Paddy field as a green inflastructure: their ecosystem services and threatening drivers -- Part 4: Wetland ecosystem (including flood-control pond) -- Chapter 12: Flood-control basins as green infrastructures: flood-risk reduction, biodiversity conservation and sustainable management in Japan -- Chapter 13: Natural Succession of Wetland Vegetation in a Flood-control Pond Constructed on Abandoned Farmland -- Chapter 14: Biodiversity Conservation through Various Citizen Activities in a Flood Control Basin -- Part 5: Urban and city ecosystem -- Chapter 15: Toward holistic Urban Green Infrastructure Implementation -- Chapter 16: Changes in the Use of Green Spaces by Citizens before and during the First COVID-19 Pandemic: A Big data analysis usingmobile-tracking GPS data in Kanazawa, Japan -- Chapter 17: Land Use Planning as a Green Infrastructure in a Rural Japanese Depopulated Town -- Chapter 16: Towards an Equitable Distribution of Urban Green Spaces for People and Landscapes; An opportunity for Portland's Green Grid -- Part 6: Coast and estuary ecosystem -- Chapter 19: "Effectiveness and Sustainability of Coastal Hybrid Infrastructures for Low-Frequency Large-Scale Disasters -- A Case Study of Coastal Disaster Assessment for a Complex Disaster" -- Chapter 20: Challenging a Hybrid between Green and Gray Infrastructure - Coastal Sand-covered Embankments -- Chapter 21: Green Infrastructures in Megacity Jakarta: Current Status and Possibilities of Mangroves for Flood Damage Mitigation -- Chapter 22: Implementation of Japanese Blue Carbon Offset Crediting Projects -- Part 7: Economic evaluation -- Chapter 23: Understanding Preference Differences among Individuals for the Reduction in Flood Risk by Green Infrastructure -- Chapter 24: Assessing Public Preference for Construction of Giant Seawalls Using the Best-Worst Scaling Approach -- Chapter 25: "Coastal communities' preferences of grey, green and hybrid infrastructure against unexpected catastrophes: A case study of Japan" -- Chapter 26: Carbon storage and substitution benefits of harvested wood products -- Part 8: Governance -- Chapter 27: Social System in Collaborative Activities for Conserving Coastal Pine Forest in Karatsu City, Kyusyu, Japan -- Chapter 28: Governance for realizing multifunctional floodplain; flood control, agriculture, and biodiversity in Yolo Bypass Wildlife Area, California, USA -- Chapter 29: Analysis of the description of the multifunctionality of farmland in the administrative plans of local municipalities.…”
    Link to Metadata
    Electronic eBook
  16. 8776

    Technological Imagination in the Green and Digital Transition

    Published 2023
    Table of Contents: “…From a liquid society, through technological imagination, to beyond the knowledge society -- Opening lecture: Digital spaces and the material culture -- Part 1: Innovation -- Innovation for the digitization process of the AECO sector -- The digital revolution and the art of co-creation -- Towards a new humanism of technological innovation in design of the built environment -- A bim-based approach to energy analysis of existing buildings in the Italian context -- Short-term wind speed forecasting model using hybrid neural networks and wavelet packet decomposition -- COGNIBUILD: Cognitive digital twin framework for advanced building management and predictive maintenance -- Design of CCHP system with the help of combined chiller system, solar energy, and gas microturbine -- Digital construction and management the public's infrastructures -- An innovative multi-objective optimization digital workflow for social housing deep energy renovation design process -- Digital information management in thebuilt environment: Data-driven approaches for building process optimization -- Immersive facility management - A methodological approach based on BIM and mixed reality for training and maintenance operations -- A digital information model for coastal maintenance and waterfront recovery -- Sustainable workplace: Space planning model to optimize environmental impact -- Digital twin models supporting cognitive buildings for ambient assisted living -- Less automation more information: A learning tool for a post-occupancy operation and evaluation -- A prosumer approach for feeding the digital twin. …”
    Link to Metadata
    Electronic eBook
  17. 8777
  18. 8778
  19. 8779
  20. 8780

    Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire /

    Published 2019
    Table of Contents: “…Modelling agricultural strategies in the Dutch Roman limes zone via agent-based modelling (ROMFARMS) -- Chapter8. The economy of Laetanian wine. …”
    Link to Metadata
    Electronic eBook