Search Results - 宁波~

Understanding the Creeping Crisis

Table of Contents: “…Remaining foreign fighters: fear, misconceptions and counterproductive responses -- 5. Big Data as a creeping crisis -- 6. Migration, borders and society -- 7. …”
Link to Metadata

The German Chambers of Commerce and Industry Self-governance, Service, the General Representation of Interests and the Dual System of Professional Education /

Table of Contents: “…The Magic of Economic Growth -- The Bridge Between Business and Politics - the CCI and Their Normative Foundations -- Comparing the Chamber Systems - What a Colourful World -- The Berman Chambers of Commerce Abroad - An International Win-Win Situation -- CCI in Practice - Public Tasks Delegated by the State -- CCI in Practice - Promoting Business -- CCI in Practice - General Representation of Interests -- The Honorable Merchant - Foundations and Guidelines Steering all CCI Work.…”
Link to Metadata

Intercultural Approaches to Education From Theory to Practice / by Akkari, Abdeljalil, Radhouane, Myriam

Table of Contents: “…Race, Racism and Anti-Racism -- Chapter 4. Key Concepts for Intercultural Approaches -- Part II: National Experiences -- Chapter 5. …”
Link to Metadata

Introduction to Central Banking by Bindseil, Ulrich, Fotia, Alessio

Link to Metadata

EU-Turkey Relations Theories, Institutions, and Policies /

Table of Contents: “…Rhetorical Entrapment in EU-Turkey Relations -- Chapter 7. Differentiated Integration: An Alternative Conceptualization of EU-Turkey Relations -- Part 2: Institutions -- Chapter 8. …”
Link to Metadata

Big Data in Bioeconomy Results from the European DataBio Project /

Table of Contents: “…Moench) and Cultivated Potato (Solanum tuberosum L.) -- Delineation of management zones using satellite imageries -- Farm Weather Insurance Assessment -- Copernicus Data and CAP Subsidies Control -- Future vision, Summary and Outlook -- Part III Applications in Forestry: Introduction - state of the art of technology and market potential for Big Data in forestry -- Finnish Forest Data based Metsään.fi-services -- Forest variable estimation and change monitoring solutions based on remote sensing Big Data -- Monitoring Forest Health: Big Data applied to diseases and plagues control -- Forest damage monitoring for the bark beetle -- Conclusions and Outlook - Summary of Big Data in forestry -- Part IV Applications in Fishery: The potential of Big data for improving pelagic fisheries sustainability -- Tuna fisheries fuel consumption reduction and safer operations -- Sustainable and added value small pelagic fisheries pilots -- Conclusion and future vision -- Part V - Summary and Outlook: Summary of experiences of the potential and Exploitation of Big Data and AI in Bioeconomy -- Glossary - Terminology, acronyms, abbreviations.…”
Link to Metadata

Influences of the IEA Civic and Citizenship Education Studies Practice, Policy, and Research Across Countries and Regions /

Table of Contents: “…Foreword -- Introduction from Editors -- Part 1: National Perspectives on Participation in IEA Civic and Citizenship Education Studies -- 1 Flemish Belgian Students' and Teachers' Results in the IEA ICCS Studies: Implication for Cross-Curricular Approaches to Civic Education; Ellen Claes and Linde Stals -- 2 Bulgarian Civic Education in Transition; Svetla Petrova -- 3 Civic and Citizenship Education in Chile and the Influence of International Civic and Citizenship Education Studies; Gabriela Cares and Elisa Salinas Valdivieso -- 4 Civic and Citizenship Education in Colombia: Challenges for Both Students and Teachers; Luis Felipe Dussán Zuluaga and Juan Camilo Ramírez Chaguendo -- 5 Civic and Citizenship Education in Denmark 1999-2019: Discourses of Progressive and Productive Education; Jens Bruun -- 6 Building Civic and Citizenship Education in the Dominican Republic; Ancell Scheker and Michelle Guzmán -- 7 Estonian Civic and Citizenship Education in Turbulent Times; Anu Toots and Mare Oja -- 8 IEA's International Civic and Citizenship Education Study and the Teaching of Civic Education in Italy; Laura Palmerio, Valeria Damiani and Elisa Caponera -- 9 Improving Civic and Citizenship Education in Latvia; Ireta Čekse -- 10 How IEA's Civic and Citizenship Education Studies Have Contributed to Educational Discourse in Lithuania; Rita Dukynaitė, Ginta Orintienė, and Šarūnas Gerulaitis -- 11 The Role of IEA's Civic and Citizenship Education Studies in Mexico; María Eugenia Luna-Elizarrarás, María Teresa Meléndez-Irigoyen and Citlalli Sánchez-Alvarez -- 12 Inequality in Citizenship Competences: Citizenship Education and Policy in The Netherlands; Anne Bert Dijkstra, Geert ten Dam and Anke Munniksma -- 13 Strengthening Connections Between Research, Policy and Practice in Norwegian Civic and Citizenship Education; Heidi Biseth, Idunn Seland and Lihong Huang -- 14 The Role of IEA's Studies in the Development of Civic and Citizenship Education in Slovenia; Eva Klemenčič Mirazchiyski -- Part 2: Regional and Interdisciplinary Perspectives on Findings From the IEA Civic and Citizenship Education Studies -- 15 The Personal, the Professional, and the Political: An Intertwined Perspective on the IEA Civic Education Studies; Erik Amnå -- 16 Joining an International Community of Practice: Reflections on the IEA Civic Education Studies as an Early Career Scholar; Carolyn Barber -- 17 IEA Civic Education Studies in Latin America: Paths of Influence and Critique in Policy and Research; Cristian Cox -- 18 Reflecting on IEA's CIVED in the United States: Policies, People, and Research; Carole Hahn -- 19 The Contribution of the IEA Civic and Citizenship Education Studies to Educational Research and Policy in Europe; Maria Magdalena Isac -- 20 Asian Students' Citizenship Values: Exploring Theory by Reviewing Secondary Data Analysis; Kerry Kennedy -- 21 Understanding School and Classroom Contexts for Civic and Citizenship Education: The Importance of Teacher Data in the IEA Studies; Bruno Losito, Gabriella Agrusti, and Valeria Damiani -- 22 The Landscape and Recent Developments of Civic and Citizenship Education Across the Latin American Region; Andrés Sandoval-Hernández and Daniel Miranda -- 23 Reflections on the Development of the IEA Civic and Citizenship Education Studies; Wolfram Schulz -- 24 A Moral Perspective on Citizenship Education and on IEA's International Civic and Citizenship Studies; Wiel Veugelers.…”
Link to Metadata

Making Healthcare Safe The Story of the Patient Safety Movement / by Leape, Lucian L.

Table of Contents: “…Part I: In the Beginning -- The Hidden Epidemic -- It's Not Bad People -- Changing the System -- Coming Together -- Part II: Institutional Responses -- We Can Do This -- Who Will Lead? …”
Link to Metadata

Visual Securitization Humanitarian Representations and Migration Governance / by Massari, Alice

Table of Contents: “…Humanitarianism, Securitization and Humanitarian Communication -- Chapter 3. A Visual Approach -- Part II: Humanitarian Representation and Migration Governance -- Chapter 4. …”
Link to Metadata

Knowledge and Civil Society

Table of Contents: “…Chapter 1. The Place of Civil Society in the Making of Knowledge -- Part I: (Re-)Thinking Civil Society -- Chapter 2. …”
Link to Metadata

Musculoskeletal Diseases 2021-2024 Diagnostic Imaging /

Table of Contents: “…Pelvis and Groin -- 7. Knee -- 8. Ankle and Foot -- 9. Postoperative Knee and Shoulder -- 10. …”
Link to Metadata

Finance 4.0 - Towards a Socio-Ecological Finance System A Participatory Framework to Promote Sustainability /

Table of Contents: “…From the contents: Introduction: A Historical Perspective and Look into the Future -- Qualified Money - A Better Financial System for the Future -- Finance 4.0: Socio-Ecological Financial System -- Motivation -- The Finance 4.0 Ambition -- The Finance 4.0 Framework -- Cryptoeconomics and Simulation -- Architecture and Infrastructure -- Identity, Governance, and Proof-Mechanisms -- Early Use Cases -- Research Outlook -- Summary.…”
Link to Metadata

Macroeconomic Modelling of R&D and Innovation Policies

Table of Contents: “…Impact Assessment of Innovation Policies: Models and Examples for the European Union -- 5. The RHOMOLO spatial CGE model -- 6. The QUEST III R&D Model -- 7. …”
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 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

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

The Psychodynamics of Enlightened Leadership Coping with Chaos / by Mitroff, Ian I., Kilmann, Ralph H.

Table of Contents: “…Chapter 1. Wrestling with The Inner Demons of Contemporary Life: A Brief Overview of Psychoanalytic Thought -- Chapter 2. …”
Link to Metadata

Dialogue for Intercultural Understanding Placing Cultural Literacy at the Heart of Learning /

Table of Contents: “…Baruch Schwarz (Hebrew University of Jerusalem), Talli Cedar (Hebrew University of Jerusalem) Ana Remesal (University of Barcelona), Merce Garcia-Mila (University of Barcelona) -- 8. Involvement and multiperspectivity - how social cohesion impacts argumentation in small student groups Benjamin Brummernhenrich & Regina Jucks (Institute for Psychology in Education Westfälische Wilhelms-Universität Münster), Michael Baker, Lucas Bietti, Françoise Détienne, Stéphane Safin, (CNRS - Centre national de la recherche scientifique) -- 9. …”
Link to Metadata

Rethinking Sustainability Towards a Regenerative Economy

Table of Contents: “…Textile As Material In Human Built Environment Interaction (Preben Hansen, Vesna Gryjoska And Milica Jovanoska) -- Chapter 12. Restorative Design For Heritage Requalification: Selected Roman Works (Luciano Cupelloni) -- Chapter 13. 3d Printing Technology Within A Regenerative Construction Framework (Odysseas Kontovourkis) -- Chapter 14. …”
Link to Metadata

Sociology in Germany A History / by Moebius, Stephan

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Sociology - From the Beginnings to 1945 -- Chapter 3: Reconstruction and Consolidation of Sociology in West Germany From 1945 to 1967 -- Chapter 4: Ups and Downs of Sociology in Germany - 1968-1990 -- Chapter 5: Sociology in the German Democratic Republic -- Chapter 6: Sociology in Germany After 1990.…”
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 Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

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

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata