Search Results - 自缢~

Do Exclusionary Rules Ensure a Fair Trial? A Comparative Perspective on Evidentiary Rules /

Table of Contents: “…Part I: Comparative Perspectives -- Chapter 1. The Potential to Secure a Fair Trial Through Evidence Exclusion: A Swiss Perspective -- Chapter 2. …”
Link to Metadata

Managed Software Evolution

Table of Contents: “…1 Introducing Managed Software Evolution -- 2 The Nature of Software Evolution -- 3 Addressed Challenges -- 4 Introduction to Case Studies -- 5 Tacit Knowledge in Software Evolution -- 6 Continuous Design Decision Support -- 7 Model-based Round-Trip Engineering and Testing of Evolving Software Product Lines -- 8 Performance Analysis Strategies for Software Variants and Versions -- 9 Maintaining Security in Software Evolution -- 10 Learning from Evolution for Evolution -- 11 Formal Verication of Evolutionary Changes -- 12 Case Studies for the Community -- 13 Lessons Learned -- 14 Future Research.…”
Link to Metadata

Affect and Mathematics Education Fresh Perspectives on Motivation, Engagement, and Identity /

“…ICME-13 Monographs,…”
Link to Metadata

Dilated Cardiomyopathy From Genetics to Clinical Management /

Table of Contents: “…1 Introduction -- 2 Epidemiology -- 3 Pathophysiology -- 4 Etiological definition and diagnostic work-up -- 5 Role of genetics and environmental factors -- 6 Clinical presentation, spectrum of disease, natural history -- 7 Role of cardiac imaging: echocardiography -- 8 Role of cardiac imaging: cardiac magnetic resonance and computed tomography -- 9 Endomyocardial biopsy -- 10 Arrhythmias in dilated cardiomyopathies -- 11 Regenerative Medicine and dilated cardiomyopathy -- 12 Prognostic stratification and importance of follow-up -- 14 Current management and treatment -- 14 Open issues and future perspectives -- 15 Dilated cardiomyopathy at the cross road: multidisciplinary approach.…”
Link to Metadata

Transforming Food Systems for a Rising India by Pingali, Prabhu, Aiyar, Anaka, Abraham, Mathew, Rahman, Andaleeb

Table of Contents: “…Economic Growth, Agriculture and Food Systems: Explaining Regional Diversity -- 3. Rural Livelihood Challenges: Moving out of Agriculture -- 4.Diet Diversity and the Declining Importance of Staple Grains -- 5.The Nutrition Transformation: From Undernutrition to Obesity -- 6. …”
Link to Metadata

Lines of Inquiry in Mathematical Modelling Research in Education

Table of Contents: “…The Influence ofTechnology on the Mathematical Modelling of Physical Phenomena -- Chapter 11. Adapting a Cognitive Tool for Representing Prospective and Practicing Teachers' Interpretations of Students' Modelling Activities -- Chapter 12. …”
Link to Metadata

New and Old Routes of Portuguese Emigration Uncertain Futures at the Periphery of Europe /

Table of Contents: “…: Pedro Candeias, Jorge Malheiros, José Carlos Marques, Ermelinda Liberato -- Part IV Portuguese Emigrants: Identities: 12. "I Was Enthused When I 'Returned' To Portugal, But I'm Leaving Disillusioned": Portuguese Migrant Descendant Returnees from Canada and Narratives of Return, Re-Return And Twice Migration: JoãoSardinha -- 13. …”
Link to Metadata

Moral Reasoning at Work Rethinking Ethics in Organizations / by Kvalnes, Øyvind

Table of Contents: “…1. Beyond Compliance 2. Moral Dilemmas 3. Duties and Outcomes 4. …”
Link to Metadata

Compendium for Early Career Researchers in Mathematics Education

Table of Contents: “…Norma Presmeg and Jeremy Kilpatrick 5200 -- 17 Scholarly writing. Helen Forgasz 5500 -- IIIb Description of major journals in mathematics education -- 18 Educational Studies in Mathematics (Merrilyn Goos) 5900 -- 19 For the Learning of Mathematics (David Reid and Richard Barwell) 5800 -- 20 International Journal of Science and Mathematics Education (Peter Liljedahl) 6300 + 2000 -- 21 Journal for Research in Mathematics Education (Jinfa Cai, Stephen Hwang, and Victoria Robison) 7200 -- 22 Journal of Mathematical Behavior (Carolyn Maher) 2900 -- 23 Journal of Mathematics Teacher Education (Despina Potari) 4900 -- 24 Mathematical Thinking and Learning (Lyn English) 5600 -- 25 ZDM Mathematics Education (Gabriele Kaiser) 6000 -- Section IV: Looking ahead -- 26 What makes for powerful classrooms, and how can we support teachers in creating them? …”
Link to Metadata

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers /

Link to Metadata

Status and Dynamics of Forests in Germany Results of the National Forest Monitoring /

Table of Contents: “…Chapter 1. Concept and Methodology of the National Forest Soil Inventory -- Chapter 2. …”
Link to Metadata

Aquaponics Food Production Systems Combined Aquaculture and Hydroponic Production Technologies for the Future /

Table of Contents: “…PART 1: FRAMEWORK CONDITIONS IN A RESOURCE LIMITED WORLD -- 1: Aquaponics and Global Food Challenges -- 2: Aquaponics: closing the cycle on limited water, land and nutrient resources -- 3: Recirculating Aquaculture Technology -- 4: Hydroponic Technology -- PART 2: SPECIFIC AQUAPONIC TECHNOLOGY -- 5: Aquaponics: The Basics -- 6: Bacterial Relationships in Aquaponics: New Research Directions -- 7: Coupled Aquaponic Systems -- 8: Decoupled Aquaponic Systems -- 9: Nutrient Cycling -- 10: Aerobic & Anaerobic Treatments for Aquaponic Sludge Reduction and Mineralisation -- 11: Systems Modelling -- 12: Aquaponics: Alternative Types and Approaches -- PART 3: PERSPECTIVE FOR SUSTAINABLE DEVELOPMENT -- 13: Fish Diets in Aquaponics -- 14: Plant Pathogens and Control Strategies in Aquaponics -- 15: Smarthoods: Aquaponics Integrated Microgrids -- 16: Aquaponics for the Anthropocene: Towards a 'sustainable first' Agenda -- PART 4: MANAGEMENT & MARKETING -- 17: Insight into Risk in Aquatic Animal Health in Aquaponics -- 18: Commercial Aqupaonics - A Long Road Ahead -- 19: Aquaponics: The Ugly Duckling in Organic Regulation -- 20: Regulatory Frameworks for Aquaponics within the EU -- 21: Aquaponics in the Built Environment -- PART 5: AQUAPONICS AND EDUCATION -- 22: Aquaponics as an Educational Tool -- 23: Opportunities and challenges in using aquaponics among young people at school - a Danish perspective -- 24: Aquaponics and Social Enterprise.…”
Link to Metadata

Play-Responsive Teaching in Early Childhood Education by Pramling, Niklas, Wallerstedt, Cecilia, Lagerlöf, Pernilla, Björklund, Camilla, Kultti, Anne, Palmér, Hanna, Magnusson, Maria, Thulin, Susanne, Jonsson, Agneta, Pramling Samuelsson, Ingrid

Table of Contents: “…When Kroko-the-Crocodile got sick -- 10. The Magical Fruits: Establishing a narrative play frame for mutual problem solving -- 11. …”
Link to Metadata

Nb3Sn Accelerator Magnets Designs, Technologies and Performance /

Table of Contents: “…FNAL HFDC (A. Zlobin) -- Part 5. Outlook -- Chapter 14. Nb3Sn accelerator needs for FCC (D. …”
Link to Metadata

Teaching for Excellence and Equity Analyzing Teacher Characteristics, Behaviors and Student Outcomes with TIMSS / by Burroughs, Nathan, Gardner, Jacqueline, Lee, Youngjun, Guo, Siwen, Touitou, Israel, Jansen, Kimberly, Schmidt, William

Table of Contents: “…Teacher Quality and Mean Student Outcomes: A Multi-Model Approach -- 6. Relationships Between Instructional Alignment, Time, Instructional Quality, Teacher Quality, and Student Mathematics Achievement -- 7. …”
Link to Metadata

The Codes of the Street in Risky Neighborhoods A Cross-Cultural Comparison of Youth Violence in Germany, Pakistan, and South Africa / by Heitmeyer, Wilhelm, Howell, Simon, Kurtenbach, Sebastian, Rauf, Abdul, Zaman, Muhammad, Zdun, Steffen

Table of Contents: “…Chapter 1. Introduction -- 2. Risky Neighborhoods as Specific Type of Social Space -- Chapter 3: Violence-Related Norms and the "Code of the Street" -- Chapter 4: Comparing Violence-Related Norms: A Selective Review of the Salient Literature -- Chapter 5: Research Design -- Chapter 6: Description of the German Context -- Chapter 7: Description of the Pakistan Context -- Chapter 8: Description of the South African Context -- Chapter 9: Cross-Cultural Comparison of the Code of the Street -- Chapter 10: Spotlight on Street Violence in a Cross-Cultural Comparison -- Chapter 11: Conclusion: The Need to Develop the Code of the Street into a General Approach.…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Values and Valuing in Mathematics Education Scanning and Scoping the Territory /

Table of Contents: “…A Cross - Cultural Study -- Chapter 11 - Mathematical Values Through Personal and Social Values: A Number Activity in a Japanese Kindergarten -- Chapter 12 - Socially Open-Ended Problems for Enriching Student Learning With Mathematical Models and Social Values -- Chapter 13 - Values in Mathematics Learning: Perspectives of Chinese Mainland Primary and Secondary Students -- Chapter 14 - Methodological Issues in the Investigation of Values in Mathematics -- Chapter 15 - The Elementary Mathematics Teachers' Values Underlying Teacher Noticing: The Context of Polygons.…”
Link to Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.…”
Link to Metadata