Search Results - 種痘~

Equitable Research Partnerships A Global Code of Conduct to Counter Ethics Dumping / by Schroeder, Doris, Chatfield, Kate, Singh, Michelle, Chennells, Roger, Herissone-Kelly, Peter

Table of Contents: “…Foreword -- Acknowledgements -- Chapter 1. Ethics Dumping and the Need for a Global Code of Conduct -- 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

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet /

Table of Contents: “…Why High-Performance Modelling and Simulation for Big Data Applications Matters -- Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems -- Tail Distribution and Extreme Quantile Estimation using Non-Parametric Approaches -- Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challenges -- Big Data in 5G Distributed Applications -- Big Data Processing, Analysis and Applications in Mobile Cellular Networks -- Medical Data Processing and Analysis for Remote Health and Activities Monitoring -- Towards human cell simulation -- Cloud-based High Throughput Virtual Screening in Novel Drug Discovery -- Ultra Wide Band Body Area Networks: Design and integration with Computational Clouds -- Survey on AI-based multimodal methods for emotion detection -- Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-oriented Survey of the State-of-the-Art in the Cloud Era.…”
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

High Resolution Imaging in Microscopy and Ophthalmology New Frontiers in Biomedical Optics /

Table of Contents: “…PART ONE - Breaking the Diffraction Barrier in Fluorescence Microscopy -- High-Resolution 3D Light Microscopy with STED and RESOLFT -- PART TWO - Retinal Imaging and Image Guided Retina Treatment -- Scanning Laser Ophthalmoscopy (SLO) -- Optical Coherence Tomography (OCT) -Principle and Technical Realization -- Ophthalmic Diagnostic Imaging - Retina -- Ophthalmic Diagnostic Imaging - Glaucoma -- OCT Angiography (OCTA) in Retinal Diagnostics -- OCT-based Velocimetry for Blood Flow Quantification -- In Vivo FF-SS-OCT Optical Imaging of Physiological Responses to Photostimulation of Human Photoreceptor Cells -- Two-Photon Laser Scanning Ophthalmoscope -- Fluorescence Lifetime Imaging Ophthalmoscopy (FLIO) -- Selective Retina Therapy -- PART THREE - Anterior Segment Imaging and Image Guided Treatment -- In Vivo Confocal Scanning Laser Microscopy -- Anterior Segment OCT -- Femtosecond-Laser-Assisted Cataract Surgery (FLACS) -- Refractive Index Shaping - In-Vivo Optimization of an Implanted Intraocular Lens (IOL) -- PART FOUR- Adaptive Optics in Vision Science and Ophthalmology -- The Development of Adaptive Optics and its Application in Ophthalmology -- Adaptive Optics for Photoreceptor-Targeted Psychophysics -- Compact Adaptive Optics Scanning Laser Ophthalmoscope with Phase Plates.…”
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

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 / by Linge, Svein, Langtangen, Hans Petter

Table of Contents: “…Preface -- 1 The first few steps -- 2 A few steps more -- 3 Loops and branching -- 4 Functions and the writing of code -- 5 Some more Python essentials -- 6 Computing integrals and testing code -- 7 Solving nonlinear algebraic equations -- 8 Solving ordinary differential equations -- 9 Solving partial differential equations -- A Installation and use of Python -- References -- Index.…”
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

Programming Languages and Systems 28th European Symposium on Programming, ESOP 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 /

Link to Metadata

Ambisonics A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality / by Zotter, Franz, Frank, Matthias

Table of Contents: “…XY, MS, and First-order Ambisonics -- Auditory events of multi-loudspeaker playback -- Amplitude panning using vector bases -- Ambisonic amplitude panning in higher orders -- Signal flow and effects in Ambisonic productions -- Higher-order Ambisonic microphones and the wave equation (linear, lossless) -- Compact spherical loudspeaker arrays -- 5D room impulse responses + virtual IKO.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part I /

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II /

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Purpose-driven Organizations Management Ideas for a Better World /

Table of Contents: “…Part I. Understanding Purpose-driven Organizations -- 1. …”
Link to Metadata

Climate-Smart Food by Reay, Dave

Table of Contents: “…Chapter 1 Introduction -- Breakfast -- Chapter 2 Orange Juice -- Chapter 3 Wheat Bread -- Chapter 4 Tea -- Chapter 5 Milk -- Break time -- Chapter 6 Chocolate -- Chapter 7 Bananas -- Chapter 8 Coffee -- Lunch -- Chapter 9 Chicken -- Chapter 10 Rice -- Chapter 11 Maize -- Dinner -- Chapter 12 Potatoes -- Chapter 13 Cod -- Chapter 14 Champagne -- Chapter 15 Conclusion. .…”
Link to Metadata