Search Results - 篮球~

Mobile Forensics - The File Format Handbook Common File Formats and File Systems Used in Mobile Devices /

Table of Contents: “…Ext4 -- 3. The Flash-Friendly File System (F2FS) -- 4. …”
Link to Metadata

Baltic Hospitality from the Middle Ages to the Twentieth Century Receiving Strangers in Northeastern Europe /

Table of Contents: “…German Merchants in Novgorod: Hospitality and Hostility, Twelfth-Fifteenth Centuries; Pavel V. Lukin -- 6. Guests or Strangers? The Reception of Visiting Merchants in the Towns of the Baltic Rim, Sixteenth Century; Lovisa Olsson -- Part II: Early Modern Hospitalities -- 7. …”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop -- Probability Estimation of Uncertain Process Trace Realizations -- Visualizing Trace Variants From Partially Ordered Event Data -- Analyzing Multi-level BOM-structured Event Data -- Linac: A Smart Environment Simulator of Human Activities -- Root Cause Analysis in Process Mining with Probabilistic Temporal Logic -- xPM: A Framework for Process Mining with Exogenous Data -- A Bridging Model for Process Mining and IoT -- Exploiting Instance Graphs and Graph Neural Networks for next activity prediction -- Can deep neural networks learn process modelstructure? …”
Link to Metadata

Innopolis University - From Zero to Hero Ten Years of Challenges and Victories / by Mazzara, Manuel, Succi, Giancarlo, Tormasov, Alexander

Table of Contents: “…Faculty Strategy for the Future -- 12. Conclusion -- Part V: A Visual Journey -- 13. …”
Link to Metadata

Data Spaces Design, Deployment and Future Directions /

Table of Contents: “…Data Spaces: Design, Deployment, and Future Directions -- Part I: Design -- An Organizational Maturity Model for Data Spaces: A Data Sharing Wheel Approach -- Data Platforms for Data Spaces -- Technological Perspective of Data Governance in Data Space Ecosystems -- Increasing Trust for Data Spaces with Federated Learning -- KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform -- Connecting Data Spaces and Data Marketplaces and the Progress Toward the European Single Digital Market with Open-Source Software -- AI-Based Hybrid Data Platforms -- Part II: Deployment -- A Digital Twin Platform for Industrie 4.0 -- A Framework for Big Data Sovereignty: The European Industrial Data Space (EIDS) -- Deploying a Scalable Big Data Platform to Enable a Food Safety Data Space -- Data Space Best Practices for Data Interoperability in FinTechs -- TIKD: A Trusted Integrated Knowledge Dataspace for Sensitive Data Sharing and Collaboration -- Toward an Energy Data Platform Design: Challenges and Perspectives from the SYNERGY Big Data Platform and AI Analytics Marketplace -- Part III: Future Directions -- Privacy-Preserving Techniques for Trustworthy Data Sharing: Opportunities and Challenges for Future Research -- Common European Data Spaces: Challenges and Opportunities.…”
Link to Metadata

Responsible Procurement Leading the Way to a Sustainable Tomorrow / by Aichbauer, Stefan, Buchhauser, Martina, Erben, Agnes, Steinert, Sven, Tietze, Detlef, Wiking, Emilia

Table of Contents: “…Part I: Setting the Scene -- 1. The Challenge of Our Lifetime -- 2. …”
Link to Metadata

Italian National Forest Inventory-Methods and Results of the Third Survey Inventario Nazionale delle Foreste e dei Serbatoi Forestali di Carbonio-Metodi e Risultati della Terza Indagine /

Link to Metadata

The Power of Morality in Movements Civic Engagement in Climate Justice, Human Rights, and Democracy /

Table of Contents: “…Three dimensions of morality and social movements -- 3. Bringing morality back in -- 4. Solidarity mobilizations in the "refugee crisis": Between particularism and universalism -- 5. …”
Link to Metadata

Integrating Science and Politics for Public Health

Table of Contents: “…The politics of evidence-based 'Health in All Policies' Paul Cairney, Emily St Denny and Heather Mitchell -- Chapter 12. Developing a policy framework to reduce social inequities in health: (Moving beyond HiAP) Ditte Heering Holt & Katherine Frohlich -- Conclusion. …”
Link to Metadata

Towards the "Perfect" Weather Warning Bridging Disciplinary Gaps through Partnership and Communication /

Table of Contents: “…Chapter1. Introduction -- Chapter2. Early Warning Systems and Their Role in Disaster Risk Reduction -- Chapter3. …”
Link to Metadata

Resourceful Civil Society Navigating the Changing Landscapes of Civil Society Organizations /

Table of Contents: “…Domestic funding for civil society in a non-democratic context: The example of the Presidential Grants in Russia, Yulia Skokova and Christian Fröhlich -- 4.Polish human rights organizations: Resisting institutional pressures, Zhanna Kravchenko, Katarzyna Jezierska, Marta Gumkowska, Beata Charycka, and Magdalena Szafranek -- 5. . …”
Link to Metadata

Speciesism in Biology and Culture How Human Exceptionalism is Pushing Planetary Boundaries /

Table of Contents: “…Part I. Biology and Culture -- Chapter 1. Speciesism in Biology and Culture: How Human Exceptionalism is Pushing Planetary Boundaries -- Chapter 2. …”
Link to Metadata

Novel Developments for Sustainable Hydropower

Table of Contents: “…1 Policy Framework for Hydropower Mitigation -- 2 Costs of Ecological Mitigation at Hydropower Plants -- 3 Public Acceptance of Hydropower -- 4 Impacts and Risks of Hydropower -- 5 The Attractiveness of Fishways and Bypass Facilities -- 6 Attraction Flow and Migration Habitat Assessment Using an Agent-Based Model -- 7 Fish Guidance Structures with Narrow Bar Spacing: Physical Barriers -- 8 Fish Guidance Structure with Wide Bar Spacing: Mechanical Behavioural Barrier -- 9 Guidelines for Application of Different Analysis Methods of Fish Passage Through Turbines - Impact Assessment of Fish Behavioural Aspects -- 10 Measures to Improve Fish Passage Through a Turbine -- 11 Archimedes Screw - An Alternative for Safe Migration Through Turbines? …”
Link to Metadata

Achieving the Paris Climate Agreement Goals Part 2: Science-based Target Setting for the Finance industry - Net-Zero Sectoral 1.5˚C Pathways for Real Economy Sectors /

Table of Contents: “…Chapter 1: Science-based industry GHG targets, Nationally Determined Contributions (NDC) and the scientific status quo of climate change -- Chapter 2: Development of industry GHG emission and energy demand- past, present and future perspectives -- Chapter 3: Industry GHG target setting, Scope 1, 2 and 3 emissions - the concept -- Chapter 4: Modelling approaches -- Chapter 5: Main assumptions for Industry pathways -- Chapter 6: Renewable Process Heat -- Chapter 7: Renewable Fuels: Hydrogen-, Synthetic- and biofuels -- Chapter 8: Negative emissions: Nature-based-solutions -- Chapter 9: Industry energy pathways - Scenario results -- Chapter 10: Scope 3 industry emissions and future pathways -- Chapter 11: Mapping out Carbon Conservation and Protection Zones (CCPZ) -- Chapter 12: Discussion, Conclusions and Recommendations.…”
Link to Metadata

Forest Bioeconomy and Climate Change

Table of Contents: “…Outlook for a Forest-Based Bioeconomy (Hurmekoski et al.) -- Chapter 5. …”
Link to Metadata

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Link to Metadata

The Political Economy of Non-Western Migration Regimes Central Asian Migrant Workers in Russia and Turkey / by Urinboyev, Rustamjon, Eraliev, Sherzod

Table of Contents: “…Russian and Turkish Migration Regimes in a Comparative Perspective -- 3. Parallel Worlds of Uzbek Migrants in Russia and Turkey -- 4. …”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Energy Poverty, Practice, and Policy by Butler, Catherine

Table of Contents: “…CHAPTER 1: Introduction -- CHAPTER 2: Poverty and Energy -- CHAPTER 3: Practice and Energy -- CHAPTER 4: Policy: Energy Demand and Welfare in the UK -- CHAPTER 5: Invisible Energy Policy and Energy Capabilities -- CHAPTER 6: Energy, Poverty, Practice, and Inequality -- CHAPTER 7: Conclusions: Reconceptualising Energy Poverty and Practice. .…”
Link to Metadata