Search Results - Cowra~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 138
- Technology: general issues 117
- History of engineering & technology 107
- Education 76
- Medicine 74
- Biology, life sciences 72
- Law 67
- France -- Court and courtiers 65
- Sociology 65
- History 55
- Humanities 55
- Courts & procedure 38
- Jurisprudence & general issues 31
- International law 30
- Political structure & processes 30
- Society & social sciences 26
- Philosophy 24
- Social sciences 23
- Literary studies: general 22
- Education, Higher 21
- Comparative law 20
- Criminal law & procedure 20
- Human rights 20
- Anthropology 19
- European history 19
- Mathematics 19
- Politics & government 19
- Business 18
- Civil Law 18
- Education and state 18
-
8901
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata
Electronic eBook -
8902
Integrating Immigrants in Europe Research-Policy Dialogues /
Published 2015Table of Contents: “…1: Research-policy dialogues on migrant integration in Europe: A conceptual framework and key questions: Peter Scholten, Han Entzinger and Rinus Penninx -- PART I - FORMS AND FUNCTIONS OF RESEARCH-POLICY DIALOGUES: 2: Cultures of knowledge use in policymaking: The functions of research in German and UK immigration policy: Christina Boswell -- 3: Migration statistics in Europe: A core component of governance and population research: Albert Kraler, David Reichel and Han Entzinger -- 4: The coproduction of national models of integration: A view from France and the Netherlands: Christophe Bertossi, Jan Willem Duyvendak and Peter Scholten -- 5: Consultative commissions and the rethinking of integration policies in the Netherlands and Germany: The Blok Commission and the Süssmuth Commission compared: Jan Schneider and Peter Scholten -- 6: European cities in search of knowledge for their integration policies. …”
Link to Metadata
Electronic eBook -
8903
Umrisse einer Dritten Kultur im interdisziplinären Zusammenspiel zwischen Literatur und Naturwissenschaft Jahrbuch des Instituts für moderne Fremdsprachen an der Naturwissenschaftl...
Published 2021Table of Contents: “…Von Einstein zu Kafka noch immer via Ludwig Hopf -- Konsequenzen, die der Autor Kafka zog, oder: Das physikalische, elektromagnetische Experiment als Inspirationsquelle - eine Beweisführung aus dem Geiste der "Dritten Kultur -- Eine epochale "Verwandlung" und mitten darin: Hans Magnus Enzensbergers Geniestreich -- Coda und zugleich Schlussakkord.…”
Link to Metadata
Electronic eBook -
8904
Advancing Energy Policy Lessons on the integration of Social Sciences and Humanities /
Published 2018Table of Contents: “…Achieving Data Synergy: The Socio-Technical Process of Handling Data; Sarah Higginson, Marina Topouzi, Carlos Andrade-Cabrera, Ciara O'Dwyer, Sarah Darby, Donal Finn -- Chapter 6. …”
Link to Metadata
Electronic eBook -
8905
Connecting Mathematics and Mathematics Education Collected Papers on Mathematics Education as a Design Science /
Published 2021Table of Contents: “…Teaching Units as the Integrating Core of Mathematics Education. Educational Studies in Mathematics 15 (1984), 25-36 -- 2. …”
Link to Metadata
Electronic eBook -
8906
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata
Electronic eBook -
8907
Understanding Society and Natural Resources Forging New Strands of Integration Across the Social Sciences /
Published 2014Table of Contents: “…: Arun Agrawal -- Chapter 5: Millennium Alliance for Humanity and the Biosphere (MAHB): Integrating Social Science and the Humanities into Earth Systems Governance: Ilan Kelman, Eugene Rosa, Tom R. Burns, Nora Machado, Lennart Olsson, Paul Ehrlich, Don Kennedy -- Chapter 6: Neuroeconomic: John M. …”
Link to Metadata
Electronic eBook -
8908
Managing Elevated Risk Global Liquidity, Capital Flows, and Macroprudential Policy-An Asian Perspective /
Published 2015Table of Contents: “…Contents -- Foreword -- Chapter 1: Introduction and Overview -- Chapter 2: The Three Phases of Global Liquidity -- 2.1: Conceptual and Measurement Issues -- 2.2: First Phase of Global Liquidity -- 2.2.1: Round-trip Bank Flows to the US -- 2.2.2: Banking Sector Flows to the Rest of the World -- 2.2.3: Exchange Rates and Leverage -- 2.3: Second Phase of Global Liquidity -- 2.4: The Case of Emerging Asia -- 2.5: Third Phase and Onward -- 2.6: References -- Chapter 3: Early Warning Indicators for Financial Vulnerabilities -- 3.1: Principles for Selection of Early Warning Indicators -- 3.2: Core and Noncore Liabilities -- 3.3: References -- Chapter 4: Emerging Asia's Noncore Liabilities and Policy Effectiveness -- 4.1: Bank-led Flows, Noncore Liabilities, and Credit Growth -- 4.2: Reassessing Monetary Policy -- 4.3: Appendix -- 4.4: References -- Chapter 5: Capital Flows and Income Distribution -- 5.1: National Policy Remains Key -- 5.2: How Capital Flows Affect Income Inequality -- 5.3: Prioritization for a Multi-Objective Goal -- 5.4: Appendix -- 5.5: References -- Chapter 6: Policy Implications -- 6.1 Tailoring Policies to Vulnerabilities -- 6.2 Macroprudential Tools -- 6.2.1 Bank Capital-Oriented Tools -- 6.2.1.1 Capital Requirements that Adjust Over the Cycle -- 6.2.1.2 Forward-Looking Provisioning -- 6.2.1.3: Leverage caps -- 6.2.1.4: Loan-To-Value and Debt-Service-To-Income Caps -- 6.2.1.5: Loan-to-Deposit caps -- 6.2.1.6: Levy on Noncore Liabilities -- 6.2.1.7: Unremunerated Reserve Requirements -- 6.2.2: Relative Merits of URR versus Levies/Taxes -- 6.2.3: Relationship with other Stabilization Policies -- 6.3: Financial Integration and Institutional Design -- 6.4: Policy Choices -- 6.5: References.…”
Link to Metadata
Electronic eBook -
8909
-
8910
Old and New Perspectives on Mortality Forecasting
Published 2019Table of Contents: “…Cohort factors: How conditions in early life influence mortality later in life: Introduction by Tommy Bengtsson -- Ch 21. A Life Course Perspective to the Modern Secular Mortality Decline and Socioeconomic Differences in Morbidity and Mortality in Sweden: Martin Lindström and George Davey Smith -- Ch 22. …”
Link to Metadata
Electronic eBook -
8911
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /
Published 2020Table of Contents: “…Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: acase study -- Shifting conceptualization of control in Agile Transformations -- It's not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams - An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19's Influence on the Future of Agile.…”
Link to Metadata
Electronic eBook -
8912
Arbeit in der digitalisierten Welt Praxisbeispiele und Gestaltungslösungen aus dem BMBF-Förderschwerpunkt /
Published 2021Table of Contents: “…Neue Perspektiven auf alte Probleme: Sicherheitskultur in Industrie 4.0 -- Projekt SynDiQuAss - Synchronisierung von Digitalisierung, Qualitätssicherung und Assistenzsystemen -- Teil IV Gestaltung vernetzt-flexibler Arbeit: Empowerment in der agilen Arbeitswelt - ein Schlüssel für die nachhaltige Gestaltung neuer Arbeitsformen -- Hierda - Humanisierung digitaler Arbeit durch Cowork-Spaces -- Internes Crowdsourcing in Unternehmen - Erkenntnisse und Projektergebnisse aus dem Forschungsprojekt ICU -- Erreichbarkeitsmanagement im Unternehmen - Schaffung unterbrechungsfreier Regenerationsphasen durch organisatorische und technische Maßnahmen zur Einschränkung ständiger Erreichbarkeit -- Social Business in der Praxis - Mit welchen Herausforderungen zu rechnen ist -- Teil V Arbeitsgestaltung im digitalen Veränderungsprozess: Digitalisierung der Arbeitswelt kommunaler Energieversorger -- Digitalisierung der Arbeitssicherheit auf Baustellen -- DigiTraIn 4.0 - Ein Beratungskonzept für die Transformation in eine digitale Arbeitswelt -- Game of Roster - GamOR - Spielifizierte kollaborative Dienste-Plattform für Pflegeberufe -- Digitalisierung der Arbeit in der ambulanten Pflege - Gestaltung eines sozio-technischen Veränderungsprojekts im Verbundprojekt KOLEGE -- Digitalisierung und Logistik - Ergebnisse aus dem BMBF-Verbundprojekt "Gesundheitsförderliche Arbeitsgestaltung für digitalisierte Dispositions- und Dokumentationsaufgaben in der Logistik" (Pro-DigiLog).…”
Link to Metadata
Electronic eBook -
8913
WAC and Second-Language Writers Research Towards Linguistically and Culturally Inclusive Programs and Practices
Published 2014Table of Contents: “…Developing Writing-Intensive Courses for a Globalized Curriculum through WAC-TESOL Collaborations, Megan Siczek and Shawna Shapiro -- Chapter 14. …”
Access online version
Electronic eBook -
8914
Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis /
Published 2020Table of Contents: “…Soil Management And Restoration (Mary Williams, Cara Farr, Deborah Page-Dumroese, Stephanie Connolly, and Eunice Padley) -- Chapter 9. …”
Link to Metadata
Electronic eBook -
8915
Übersetzen in der Frühen Neuzeit - Konzepte und Methoden / Concepts and Practices of Translation in the Early Modern Period
Published 2021Table of Contents: “…Vergleichende Untersuchungen am Beispiel der Übersetzung des Konzepts der ,Dreieinigkeit' -- Die Entstehung von Johann Michael Moscheroschs Insomnis Cura Parentum (1643). Eine konfessions- und medienhistorische Fallstudie zum Übersetzen im 17. …”
Link to Metadata
Electronic eBook -
8916
-
8917
-
8918
-
8919
European Cultural Diplomacy and Arab Christians in Palestine, 1918-1948 Between Contention and Connection /
Published 2021Table of Contents: “…Sharkey -- Between Athens and Al Quds: The Greek Community in Late Ottoman and Mandate Jerusalem - Konstantinos Papastathis -- Russia and Orthodoxy in Palestine, 1900-1930s: Diplomacy, Institutions, Personalities - Lora Gerd -- Continuities and Discontinuities in the Austrian Catholic Orient Mission to Palestine, 1915-1938 - Barbara Haider-Wilson -- A Coherent Inconsistency: Italian Cultural Diplomacy in Palestine, 1918-1936 - Roberto Mazza -- The International Centre for the Protection of Catholic Interests in Palestine and the Latin Patriarchate's Cultural Diplomacy in the British Mandate Period - Paolo Maggiolini -- A "Significant Swedish Outpost":The Swedish School and Arab Christians in Jerusalem, 1920-1930 - Inger Marie Okkenhaug -- French Cultural Efforts Towards Jerusalem's Arab Population in Late British Mandate Palestine - Dominique Trimbur -- Conclusion: Cultural Affiliations and Identity Constructs during the British Mandate for Palestine - Tamara van Kessel -- Epilogue: Secularist Networks, Cultural Institutions and Cultural Diplomacy in the Levantine Mandates - Idir Ouahes.…”
Link to Metadata
Electronic eBook -
8920
The Palgrave Handbook of Development Cooperation for Achieving the 2030 Agenda Contested Collaboration /
Published 2021Table of Contents: “…Prospects for China and the Global Partnership for Effective Development Cooperation -- 19.South Africa in global development fora: Cooperation and contestation -- 20.Middle powers in international development cooperation:Assessing the roles of South Korea and Turkey -- 21.The SDGs and the empowerment of Bangladeshi women -- 22.Russia's approach to official development assistance and its contribution to the SDGs -- 23.US multilateral aid in transition: Implications for development cooperation -- 24."…”
Link to Metadata
Electronic eBook