Search Results - GaWC~

Agroecological Transitions: From Theory to Practice in Local Participatory Design

Table of Contents: “…Foreword -- Chapter 1: General introduction -- Chapter 2: TATA-BOX at a glance -- Part I: Territorial Agroecological Transition at a concept crossroads -- Chapter 3: Socio-economic characterisation of agriculture models -- Chapter 4: An integrated approach to livestock farming systems' autonomy in designing and managing agroecological transition at the farm and territorial levels -- Chapter 5: Agroecological transition from farms to territorialised agri-food systems: issues and drivers -- Chapter 6: A plurality of viewpoints regarding the uncertainties of the agroecological transition -- Chapter 7: Towards an integrated framework for the governance of a territorialised agroecological transition -- Chapter 8: The key role of actors in the agroecological transition of farmers: a case-study in the Tarn-Aveyron Basin -- Part II: Support methodology for territorial agroecological transition design, and feedback from the TATA-BOX project experience -- Chapter 9: Participatory methodologyfor designing an agroecological transition at local level -- Chapter 10: Towards a reflective approach to research project management -- Chapter 11: Evaluation of the operationalisation of the TATA-BOX process -- Part III: New prospects and cross-cutting perspectives -- Chapter 12: Information and communication technology (ICT) and the agroecological transition -- Chapter 13: TATA-BOX: A model for participatory processes? …”
Link to Metadata

The Seine River Basin

Table of Contents: “…-- Mass balance of PAHs at the scale of the Seine River basin -- Ecological functioning of the Seine River: from long term modelling approaches to high frequency data analysis -- Aquatic organic matter in the Seine basin: sources, spatio-temporal variability, impact of urban discharges and influence on micro-pollutant speciation -- Experience gained from ecotoxicological studies in the Seine River and its drainage basin over the last decade: applicative examples and research perspectives -- Sedimentary archives reveal the concealed history of micropollutant contamination in the Seine River basin -- Changes in fish communities of the Seine Basin over a long-term perspective -- Bathing activities and microbiological water quality in the Paris area: a long-term perspective -- Contaminants of emerging concern in the Seine River basin: overview of recent research -- River basin vision: tools and approaches, from yesterday to tomorrow.…”
Link to Metadata

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

Wheat Improvement Food Security in a Changing Climate /

Table of Contents: “…Introduction -- History of Wheat Breeding: A Personal View -- Defining Target Wheat Breeding Environments -- Global Trends in Wheat Production, Consumption and Trade -- Breeding Methods: Line Development -- Breeding Methods: Population Improvement and Selection Methods -- Achieving Genetic Gains in Practice -- Wheat Rusts: Current Status, Prospects of Genetic Control and Integrated Approaches to Enhance Resistance Durability -- Globally Important Non-Rust Diseases of Wheat -- Abiotic Stresses -- Wheat Quality -- Nutritionally Enhanced Wheat for Food and Nutrition Security -- Experimental Design for Plant Improvement -- Seed Systems to Support Rapid Adoption of Improved Varieties in Wheat -- Crop Management for Breeding Trials -- A Century of Cytogenetic and Genome Analysis: Impact on Wheat Crop Improvement -- Conserving Wheat Genetic Resources -- Exploring Untapped Wheat Genetic Resources to Boost Food Security -- Disease Resistance -- Insect Resistance -- Yield Potential -- Heat and Climate Change Mitigation -- Drought -- Micronutrient Toxicity and Deficiency -- Pre-breeding Strategies -- Translational Research Networks -- High Throughput Field Phenotyping -- Sequence-based marker assisted selection in wheat -- Application of CRISPR-Cas-based Genome Editing for Precision Breeding in Wheat -- Accelerating Breeding Cycles -- Improving Wheat Production and Breeding Strategies Using Crop Models -- Theory and Practice of Phenotypic and Genomic Selection Indices.…”
Link to Metadata

Interdisciplinarity in the Scholarly Life Cycle Learning by Example in Humanities and Social Science Research /

Table of Contents: “…Introduction -- 2. Reversing the Gaze on Expectations in Technology: Philosopher Ortega y Gasset in Innovation Studies -- 3. …”
Link to Metadata

Ethics, Integrity and Policymaking The Value of the Case Study /

Table of Contents: “…Science Advisors and "Good Evidence": A Case Study (Gabi Lombardo) -- Chapter 5. Automated Justice, Automated Policing: Issues, Benefits and Risks in the Use of Artificial Intelligence and its Algorithms in Access to Justice and Law Enforcement (Caroline Gans Combe) -- Chapter 6. …”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. .…”
Link to Metadata

Cultural Change in Post-Migrant Societies Re-Imagining Communities Through Arts and Cultural Activities /

Table of Contents: “…Challenging Italian national identity through literature and cinema. Voices and gazes of racialised artists -- Chapter 6. How do 'migrant' and 'world' music change local and national cultures? …”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

Nordic Mediation Research

Table of Contents: “…Lin Adrian, Kaijus Ervasti and Anna Nylund, Introduction to Nordic Mediation Research -- Part I Systemic Aspects of Nordic Mediation: Anna Nylund, A Dispute Systems Design Perspective on Norwegian Child Custody Mediation -- Christian B N Gade, "Restorative Justice" - History of the Term's International and Danish Use -- Vaula Haavisto, Developing Family Mediation in Finland - The Change Process and Practical Outcomes -- Maritha Jacobsson, Lottie Wahlin and Eva Fromholz, Victim Offender Mediation in Sweden - an Activity Falling Apart? …”
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

Housing Estates in Europe Poverty, Ethnic Segregation and Policy Challenges /

Table of Contents: “…Introduction: The Role of Large Housing Estates in Past, Present and Future Change in European Cities -- PART 1: Four Thematic Lenses for Viewing the Trajectories of Large Housing Estates -- PART 2: Case Studies of Housing Estates in European Metropolitan Area -- Western Europe (Changing Context, Policies and Estates in the UK: The Birmingham Example / The Socio-economic Evolution of Large Housing Estates in Brussels / Large Housing Estates in a Divided City: Berling's Pallenbauten and Wohnblöcke / Large Housing Estates in the Paris Region: The Local Challenge of Internal Social Mixing in Orly) -- Eastern Europe (Persistence or Change: Social and Physical Challenges of Housing Estates in Budapest / Housing Estates in Prague: Long-term Development and Current Situation / Mass Housing Inherited from State Socialism in Tartu, Estonia / Ursynów: Emergence and Evolution of Warsaw's Largest Dormitory Suburb) -- Northern Europe (Equity or Net Gains? Tenure Structure, Perceived Social Disorder andPolicy Challenges in the Post-WWII Housing Estates of Helsinki region / Large Housing Estates in Stockholm: Do Initial Conditions Matter?) …”
Link to Metadata

Travel Writings on Asia Curiosity, Identities, and Knowledge Across the East, c. 1200 to the Present /

Table of Contents: “…Introduction -- Section 1: Re-forging Frontiers in Asia - Local and Transcontinental Mobilities in the Global Middle Ages -- Travel, Order and Knowledge: Local officials in the Song Dynasty (960 - 1279) and Functions of Travelling in China -- Transcultural Perceptions of the 'East' in the 13th and 14th century - towards a study of curiosity in the Global Middle Ages -- Massacres and Mobilities: Human Movement in the Mongol World Empire -- Section 2: Mapping 'New' Frontiers - Curiosity and Knowledge -- Antonio Pigafetta's Asia -- Bowing to a new king - The Ming-Qing transition in European sources -- The Silk Road as a Spiritual Landscape: The Otani Expeditions and Tibet -- Section 3: The Imperial 'Gaze' - Hegemonic Perceptions of Knowledge and Power -- Britain's Brave Boys and the Haunted House of China. …”
Link to Metadata

Reparation in Transitional Justice A Normative Framework by Langmack, Fin-Jasper

Subjects: “…International Criminal Law…”
DOAB: download the publication
DOAB: description of the publication

Interstate Assistance to the Use of Force by Nußberger, Benjamin K.

“…Kölner Schriften zum Friedenssicherungsrecht - Cologne Studies on International Peace and Security Law - Études colonaises sur le droit de la paix et de la sécurité internationale…”
DOAB: download the publication
DOAB: description of the publication

Russian Contributions to International Humanitarian Law A contrastive analysis of Russia's historical role and its current practice by Riepl, Michael

Subjects: “…Friedenssicherung, Humanitäres Völkerrecht, Menschenrechte, Russland, StIGH, Vereinte Nationen, Russia, Zar, Czar, Tsar, Sowjetunion, Soviet Union, UdSSR, USSR, humanitäres Völkerrecht, international humanitarian law, hVr, IHL , Krieg, war, Recht der bewaffneten Konflikte, law of armed conflict, Kriegsrecht, laws of war, Haager Konvention, Hague Convention, Petersburger Erklärung, St Petersburg Declaration, Friedrich Martens, Fyodor Martens, Syrien, Syria, Ostukraine, Eastern Ukraine, Tschetschenien, Chechnya, Wagner Group, Kosaken, Cossacks…”
DOAB: download the publication
DOAB: description of the publication

The State of Peacebuilding in Africa Lessons Learned for Policymakers and Practitioners /

Table of Contents: “…The African Union in Peacebuilding in Africa -- 13. Trends in SADC Mediation and Long-Term Conflict Mediation -- 14. …”
Link to Metadata

Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions /

Table of Contents: “…Photovoice as a research tool of the 'game' along the 'Balkan Route' -- Chapter 12. Crafting an event, an event on craft Working together to represent migration experiences -- Chapter 13. …”
Link to Metadata

Migration and Pandemics Spaces of Solidarity and Spaces of Exception /

Table of Contents: “…Migrant Care Labour, Covid-19, and the Long-Term Care Crisis: Achieving Solidarity for Care Providers and Recipients (Lena Gahwi and Margaret Walton-Roberts) -- 7. Pandemic Shock Absorbers: Domestic Workers' Activism at the Intersection of Immigrants' and Workers' Rights (Anna Rosińska and Elizabeth Pellerito) -- 8. …”
Link to Metadata