Search Results - wokou~

International Relations Theory

Table of Contents: “…Simpson) -- Asian Perspectives (Pichamon Yeophantong) -- Global South Perspectives (Lina Benabdallah, Victor Adetula & Carlos Murillo-Zamora) -- Indigenous Perspectives (Jeff Corntassel & Marc Woons) -- A Contemporary Perspective On Realism (Felix Rösch & Richard Ned Lebow -- The ‘Isms' Are Evil. …”
Access online version

Sustainable Resource Development in the 21st Century Essays in Memory of Peter Berck /

Table of Contents: “…Introduction -- Part 1: Forestry -- Peter Berck's Contributions to Forestry Economics -- Integrated Management of Bark Beetles: Economic Contributions of Peter Berck and Foundational Entomological Research -- A Green Revolution in the Woods: The Potential of Eucalyptus Plantations -- Hedging with a Housing Starts Futures Contract -- Part 2: Agriculture and Fisheries -- The Future of Agriculture -- How Is Farm Income Affected When Each Farm Has to Produce Its Own Animal Feed? …”
Link to Metadata

Sustainable Energy Access for Communities Rethinking the Energy Agenda for Cities /

Table of Contents: “…-- Electricity Consumption in Working-Class Districts: Case Studies of Grand Yoff and Grand Dakar -- Cookinations: Mechanisms to Decouple Wood Production and Food Preparation in Sub-Urban Areas -- Citizen Awareness of the Social Dimension of Energy: Lessons From a Survey in Dakar.…”
Link to Metadata

Forest Bioeconomy and Climate Change

Table of Contents: “…Carbon Sequestration and Storage in the Forests of the European Union (Kilpeläinen and Peltola) -- Chapter 7. Contribution of Wood-Based Products to Climate Change Mitigation (Hurmekoski et al.) -- Chapter 8. …”
Link to Metadata

Elusive Phenomena, Unwieldy Things Historical Perspectives on Experimental Control /

Table of Contents: “…Controlling the Unobservable: Experimental Strategies and Hypotheses in Discovering the Causal Origin of Brownian Movement (Klodian Coko) -- Chapter 9. From the Determination of the Ohm to the Discovery of Argon: Lord Rayleigh's Strategies of Experimental Control (Vasiliki Christopoulou and Theodore Arabatzis) -- Chapter 10. …”
Link to Metadata

Microorganisms in the Deterioration and Preservation of Cultural Heritage

Table of Contents: “…Part 1: Occurrence of microorganisms in heritage materials -- Chapter 1: Microbial growth and its effects on inorganic heritage materials -- Chapter 2: Microbiota and biochemical processes involved for biodeterioration of cultural heritage and protection -- Chapter 3: Molecular-based techniques for the study of microbial communities in artworks -- Chapter 4: Extreme colonizers and rapid profiteers: the challenging world of microorganisms that attack paper and parchment -- Part 2: Green methods again biodeterioration -- Chapter 5: Novel antibiofilm non-biocide strategies -- Chapter 6: Green mitigation strategy for cultural heritage using bacterial biocides -- Chapter 7: New perspectives against biodeterioration through public lighting -- Part 3: Biocleaning and bio-based conservation methods -- Chapter 8: Bioremoval of graffiti in the context of current biocleaning research -- Chapter 9: Ancient textiles deterioration and restoration: the case of biocleaning of an Egyptian shroud heldin the Torino Museum" -- Chapter 10: Advanced biocleaning system for historical wall paintings -- Chapter 11: Sustainable restoration through biotechnological processes: a proof of concept -- Chapter 12: The role microorganisms for the removal of nitrates and sulfates on artistic stoneworks -- Chapter 13: Protection and consolidation of stone heritage by bacterial carbonatogenesis -- Chapter 14: Siderophore-removal of iron corrosion products from wood and textiles -- Chapter 15: Bio-based corrosion inhibitors for metal heritage. .…”
Link to Metadata

Beginning Japanese for Professionals Book 3 by Konomi, Emiko

Table of Contents: “…Lesson 9: Family -- Dialogue 1 -- 9-1-1 Verb Plain Past Form and ~te Form -- 9-1-2 V-te iru: 'be V-ing' or 'have V-ed' -- 9-1-3 Shitte iru 'know' -- Dialogue 2 -- 9-2-1 X to iu; X to omou -- 9-2-2 ~kke Retrieving Previously Shared Information -- 9-2-3 Classifier for Counting People -- Dialogue 3 -- 9-3-1 ~te form of adjectives -- 9-3-2 donna What Kind of X -- Dialogue 4 -- 9-4-1 Mou and Mada: A Change or No Change in Status -- Review -- Practical Skills -- Listening Exercise -- Homework -- Quiz -- Drill Tape Scripts -- Lesson 10: Can Do's and Cannot Do's -- Dialogue 1 -- 10-1-1 Verb Potential Forms -- 10-1-2 negative Requests -- Dialgoue 2 -- 10-2-1 Expressing Permission -- 10-2-2 Enryo: The Virtue of Holding Back -- Dialogue 3 -- 10-3-1 Expressing Prohibition 'Must not' -- 10-3-2 Noun de mo -- Dialogue 4 -- 10-4-1 Expressing Negative Permission 'Do Not Have To' -- 10-4-2 Expressing Necessities 'must' -- 10-4-3 X-sugiru -- 10-4-4 Verbs of Dressing -- Review -- Homework -- Quiz -- Drill Tape Scripts -- Appendix -- Verb Forms…”
Access online version

Human and Organisational Factors Practices and Strategies for a Changing World /

Table of Contents: “…The Strategic Agility Gap: How Organizations are Slow and Stale to Adapt in Turbulent Worlds, by David Woods -- 12. The Languages of Safety, by Hervé Laroche -- 13. …”
Link to Metadata

Materialising the Future A Learning Path to Understand, Develop and Apply Emerging Materials and Technologies /

Table of Contents: “…Lesson learnt from surveys and participative workshops - Alba Obiols -- A supporting tool to design with and for EM&Ts: the materials toolkit - Gemma Esteban, Geraldine Kann, Veronica Sarbach, Daniela Amandolese -- Transferring Knowledge from Academia to the Companies: a new method -Aitor Cazón -- Part 2 Field Studies: From Ideation to Applications -- Applying DATEMATS Methods and tools to Nanomaterials: A design challenge by the company Antolin - Robert Thompson -- Applying DATEMATS Methods and tools to ICS Materials in wearable domain: mastering the complexity of hybrid materials - Stefano Parisi -- Applying DATEMATS Methods and tools toAdvanced Growing Materials: handling the materials growing and design challenges launched by a company- Anke Pasold -- Applying DATEMATS Methods and tools to Experimental Wood-based Materials: Materiality in ideation process-Pirjo Kääriäinen, Tarja-Kaarina Laamanen -- How can we establish long-lasting collaboration with companies? …”
Link to Metadata

Ecosystem Restoration through Managing Socio-Ecological Production Landscapes and Seascapes (SEPLS)

Table of Contents: “…Community-Based Woodland Restoration for Livelihoods and Sustainable Wood Fuel Utilisation in the Mole Ecological Landscape, Ghana -- Chapter 3. …”
Link to Metadata

R.J. Rummel: An Assessment of His Many Contributions

Table of Contents: “…Nils Petter Gleditsch: Introduction: R J Rummel: A multi-faceted scholar -- Dawn Akemi: Dad -- Doug Bond: R J Rummel, citizen scholar: An interview on the occasion of his retirement -- Sang-Woo Rhee: Rummel as a great teacher -- Richard Chadwick: Contextualizing Rummel's field theory -- Matthew Kroenig & Bardia Rahmani: R J Rummel, Nuclear superiority, and the limits of détente -- Erich Weede: Rummel's unfinished legacy: Reconciling peace research and realpolitik -- James Lee Ray: Understanding Conflict and War An overlooked classic? …”
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

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

Table of Contents: “…Preventing Ecosystem Death through Lessons in Ecosystem Health -- Genesis of a Wood Harvesting B2B Software Platform -- Towards aTaxonomy of Impact Factors for Digital Platform Pricing -- Assessing the Health of the Dark Web: An Analysis of Dark Web Open Source Software Projects -- Using Guilds to Foster Internal Startups in Large Organizations: A case study -- Employee-Driven Innovation to Fuel Internal Software Startups: Preliminary Findings -- Towards a framework to guide the development of practices for software startups -- 2nd Workshop on Agility with Microservice Programming -- Towards Integrating Blockchains with Microservice Architecture Using Model-Driven Engineering -- A service mesh for collaboration between geo-distributed services: the replication case -- Implementation of a microservice-based certification platform -- Poster presentations -- Multiple Roles of Middle Managers in Agile Project Governance: An Activity Theory Perspective -- Cherry Picking - Agile Software Development Teams Applying Design Thinking Tools -- From Project to Product -- Panels -- The Stories We Tell: Experience, Research, or Patterns? …”
Link to Metadata

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…The Validity of Technology Enhanced Assessment - Threats and Op-portunities; Saskia Wools, Mark Molenaar, Dorien Hopster-den Otter -- 2. …”
Link to Metadata

The Future of the Bamiyan Buddha Statues Heritage Reconstruction in Theory and Practice /

Table of Contents: “…Cultural identity and the revival of values after the demolishment of Bamiyan's Buddhist wall paintings (Yoko Taniguchi) -- Chapter 5. The Cultural Masterplan Bamiyan: the sustainable dilemma of protection and progress (Michael Jansen and Georgios Toubekis) -- Part III: Deliberate destruction of heritage and its recovery -- Chapter 6. …”
Link to Metadata

History of Innovative Entrepreneurs in Japan by Kikkawa, Takeo

Table of Contents: “…Conditions that Enabled the First Successful Industrialization Case among Late Developers -- Overview 3: World War I to the 1980s -- Case 8: Ichizo Kobayashi: A Leader in Urbanization Creates a New Industry -- Case 9: Yasuzaemon Matsunaga: Electrification Leader Establishes Private Sector-Led Public Utility Operations -- Case 10: Saburosuke Suzuki II : Commercialization of Exceptional Breakthrough Innovation -- Case 11: Kiichiro Toyoda: From Breakthrough to Incremental Innovations -- Case 12: Shitagau Noguchi and Yoshisuke Aikawa: Emergence of New Konzerns and Foray into the Continent -- Case 13: Sazo Idemitsu: From "Oil Merchant of the Continent" to "Hero of Native Oil Companies" -- Case 14: Yataro Nishiyama: Leader of Capital Investment Drives High Economic Growth -- Case 15: Konosuke Matsushita: Initiator of "Consumer Revolution" Drives High Economic Growth -- Case 16: Masaru Ibuka, Akio Morita, Soichiro Honda, and Takeo Fujisawa: The Groundbreaking Nature of Sony and Honda Becoming Global Companies -- Case 17: Toshio Doko: The Sense of Crisis Harbored by the "Fine Physician of the Business World" and "Mr. …”
Link to Metadata

Kantianism for Animals A Radical Kantian Animal Ethic / by Müller, Nico Dario

Table of Contents: “…-- 4.1 Animals and the Formula of Humanity: Some Background -- 4.2 The Esteem-ConcernEquivocation -- 4.3 Wood and Korsgaard Against the Esteem-Concern Equivocation -- 4.4 Obligatory Ends: How Kant Derives Duties to Others -- 4.5 What Is the Point of the Formula of Humanity, if Not Moral Concern? …”
Link to Metadata

Selected Abstracts of the 4th International Congress of UENPS; Athens (Greece); December 11th-14th 2014 by -

Connect to this object online.

The Interconnected Arctic - UArctic Congress 2016

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