Search Results - 篮球~

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

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