Teaching Multiplication with Lesson Study Japanese and Ibero-American Theories for International Mathematics Education /

Link to Metadata

Philosophy of Astrophysics Stars, Simulations, and the Struggle to Determine What is Out There /

Table of Contents: “…Introduction (Vera Matarese, Siska De Baerdemaeker, and Nora Mills Boyd) -- Part I: Theory, Observation, and the Relation Between Them. 2. …”
Link to Metadata

The Troika of Adult Learners, Lifelong Learning, and Mathematics Learning from Research, Current Paradoxes, Tensions and Promotional Strategies / by Safford-Ramus, Katherine, Misra, Pradeep Kumar, Maguire, Terry

Link to Metadata

Künstliche Intelligenz in der Forschung Neue Möglichkeiten und Herausforderungen für die Wissenschaft / by Gethmann, Carl Friedrich, Buxmann, Peter, Distelrath, Julia, Humm, Bernhard G., Lingner, Stephan, Nitsch, Verena, Schmidt, Jan C., Spiecker genannt Döhmann, Indra

Link to Metadata

Proceedings of the 8th International Conference on Attosecond Science and Technology

Table of Contents: “…An MQDT model for the description of time resolved pump probe experiments -- Chapter 11. ASTRA, A Transition Density Matrix Approach to the Interaction of Attosecond Radiation with Atoms and Molecules -- Chapter 12. …”
Link to Metadata

Vaccines for Neglected Pathogens: Strategies, Achievements and Challenges Focus on Leprosy, Leishmaniasis, Melioidosis and Tuberculosis /

Table of Contents: “…Aspects of human leishmaniasis vaccine use -- (Dr Olayinka Osuolale, Elizade University, Ilara-Mokin, Nigeria) -- 12. Human challenge model for developing leishmaniasis vaccines (Prof Paul Kaye, University of York, UK) -- 13. …”
Link to Metadata

Nuclear Risks and Arms Control - Problems and Progresses in the Time of Pandemics and War Proceedings of the XXII Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, I...

Table of Contents: “…Science and Society -- 25 Years of CTBT -- The Nuclear Conundrum in the Ukraine Crisis -- Ending the 'Perpetual Menace' of Nuclear Weapons: The Nuclear Non-Proliferation Treaty -- Lessons Learnt from the Fukushima Nuclear Accident -- International cooperation to tackle future pandemics -- From NPT to TPNW: From Non-Proliferation to Prohibition of Nuclear Weapons -- Domestic Debate in Russia about Arms Control and Nuclear Weapons -- Weapons of Mass Destruction in the Middle East within the context of Regional security -- Conflict areas - An Israeli Perspective -- Tensions in the Middle East -- The Struggle to save the JCPOA: Negotiations to Nowhere? …”
Link to Metadata

Molecules in Superfluid Helium Nanodroplets Spectroscopy, Structure, and Dynamics /

Table of Contents: “…Coulomb Explosion Imaging of Small Clusters of Helium (Maxim Kunitski) -- Mass Spectroscopy of Pure and Doped Droplets (Paul Scheier) -- Infra-red Spectroscopy (Gary Douberly) -- Electronic Spectroscopy (Alkwin Slenczka) -- Spectroscopy of Biomolecules (Gert von Helden and Eike Mucha) -- X-Ray Imaging of Droplets (Thomas Möller) -- Structure of Biomolecules in Droplets (Wei Kong) -- Alignment of Molecules in Helium Droplets (Henrik Stapelfeldt) -- . …”
Link to Metadata

Stable Isotopes in Tree Rings Inferring Physiological, Climatic and Environmental Responses /

Table of Contents: “…Sample collection and preparation for annual and intra-annual tree-ring isotope chronologies -- 5. …”
Link to Metadata

Long-Term Ecosystem Changes in Riparian Forests

Table of Contents: “…Temporal Changes in Browsing Damage by Sika Deer in a Natural Riparian Forest in Central Japan -- Chapter 10. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Proceedings of the 13th International Congress on Mathematical Education ICME-13 /

Table of Contents: “…Hans-Georg Weigand, William McCallum, Marta Menghini, Michael Neubrand, Gert Schubring, Renate Tobies -- part 5: National presentations -- Argentinean National presentation, Esther Galina, Mónica Villarreal -- Teachers' Professional Development and Mathematics Education in Brazil, Victor Giraldo -- Mathematics Education in Ireland, Maurice OReilly, Thérèse Dooley, Elizabeth Oldham, Gerry Shiel -- National presentation of Japan, Toshiakira Fujii, Yoshinori Shimizu, Hanako Senuma, Toshikazu Ikeda -- National presentation of Lower Mekong sub-region countries, Fidel R. Nemenzo, Masami Isoda, Maitree Inprasitha, Sampan Thinwiangthong, Narumon Changsri, Nisakorn Boonsena, Chan Roth, Monkolsery Lin, Souksomphone Anothay, Phoutsakhone Channgakham, Nguyen Chi Thanh, VŨ NHƯ Thư Hương, Phương Thảo Nguyễn -- Teaching and learning mathematics in Turkey, Huriye Arikan -- Part 6: Reports from the Topical Study Groups -- Topic study group no. 01 Early childhood mathematics education (up to age 7), Iliada Elia, Joanne Mulligan -- Topic study group no. 02 Mathematics education at tertiary level, Victor Giraldo, Chris Rasmussen -- Topic study group no. 03 Mathematics education in and for work, Diana Coben, Geoff Wake -- Topic study group no. 04 Activities for, and research on, mathematically gifted students, Florence Mihaela Singer, Linda Jensen Sheffield -- Topic study group no. 05 Classroom practice and research for students with mathematical learning difficulties, Lourdes Figueiras, Rose Griffiths -- Topic study group no. 06 Adult learning, Pradeep Kumar Misra, Jürgen Maaß -- Topic study group no. 07 Populariztion of Mathematics, Christian Mercat, Patrick Vennebush -- Topic study group no. 08 Teaching and learning of arithmetic and number systems (focus on primary education), Pi-Jen Lin, Terezinha Nunes -- Topic study group no. 09 Teaching and learning of measurement (focus on primaryeducation), Christine Chambris, Barbara Dougherty -- Topic study group no. 10 Teaching and learning of early algebra, Carolyn Kieran, JeongSuk Pang -- Topic study group no. 11 Teachig and Learning of Algebra, Rakhi Banerjee, Amy Ellis -- Topic study group no. 12 Teaching and learning of geometry (primary level), Sinan Olkun, Ewa Swoboda -- Topic study group no. 13 Teaching and learning of geometry - secondary level, Ui Hock Cheah, Patricio G. …”
Link to Metadata

Preclinical MRI of the Kidney Methods and Protocols /

Table of Contents: “…Recommendations for Preclinical Renal MRI: A Comprehensive Open-Access Protocol Collection to Improve Training, Reproducibility, and Comparability of Studies -- Animal Models of Renal Pathophysiology and Disease -- Preparation and Monitoring of Small Animals in Renal MRI -- Reversible (Patho-)Physiologically Relevant Test Interventions: Rationale and Examples -- Preparation of Ex Vivo Rodent Phantoms for Developing, Testing, and Training MR Imaging of the Kidney and Other Organs -- Quantitative Assessment of Renal Perfusion and Oxygenation by Invasive Probes: Basic Concepts -- Ultrasound and Photoacoustic Imaging of the Kidney: Basic Concepts and Protocols -- Hardware Considerations for Preclinical Magnetic Resonance of the Kidney -- MRI Mapping of Renal T1: Basic Concept -- MRI Mapping of the Blood Oxygenation Sensitive Parameter T2* in the Kidney: Basic Concept -- Renal Diffusion Weighted Imaging (DWI) for Apparent Diffusion Coefficient (ADC), Intra Voxel Incoherent Motion (IVIM), and Diffusion Tensor Imaging (DTI): Basic Concept -- Dynamic Contrast Enhancement (DCE)-MRI Derived Renal Perfusion and Filtration: Basic Concepts -- Non-Invasive Renal Perfusion Measurement Using Arterial Spin Labelling (ASL) MRI: Basic Concept -- Renal pH Imaging Using Chemical Exchange Saturation Transfer (CEST)-MRI: Basic Concepts -- Sodium (23Na) MRI of the Kidney: Basic Concept -- Hyperpolarized Carbon (13C) MRI of the Kidneys: Basic Concepts -- Functional Imaging Using Fluorine (19F) MR Methods: Basic Concepts -- MR Elastography of the Abdomen: Basic Concepts -- Monitoring Renal Hemodynamics and Oxygenation by Invasive Probes: Experimental Protocol -- Essential Practical Steps for MRI of the Kidney in Experimental Research -- Assessment of Renal Volume with MRI: Experimental Protocol -- Experimental Protocols for MRI Mapping of Renal T1 -- Experimental Protocols for MRI Mapping of the Blood Oxygenation Sensitive Parameters T2* and T2 in the Kidney -- Renal MRI Diffusion: Experimental Protocol -- Dynamic Contrast Enhanced (DCE)-MRI Derived Renal Perfusion and Filtration: Experimental Protocol -- Renal Blood Flow Using Arterial Spin Labeling (ASL)-MRI: Experimental Protocol and Principles -- Renal pH Mapping Using Chemical Exchange Saturation Transfer (CEST)-MRI: Experimental Protocol -- Sodium (23Na) MRI of the Kidney: Experimental Protocol -- Hyperpolarized Carbon (13C) MRI of the Kidney: Experimental Protocol -- Fluorine (19F) MRI for Assessing Inflammatory Cells in the Kidney: Experimental Protocol -- Fluorine (19F) MRI to Measure Renal Oxygen Tension and Blood Volume: Experimental Protocol -- MR Elastography of the Abdomen: Experimental Protocols -- Subsegmentation of the Kidney in Experimental MR Images Using Morphology-Based Regions-of-Interest or Multiple-Layer Concentric Objects -- De-Noising for Improved Parametric MRIof the Kidney: Protocol for Non-Local Means Filtering -- Analysis Protocols for MRI Mapping of Renal T1 -- Analysis Protocols for MRI Mapping of the Blood Oxygenation Sensitive Parameters T2* and T2 in the Kidney -- Analysis of Renal Diffusion Weighted Imaging (DWI) Using Apparent Diffusion Coefficient (ADC) and Intra Voxel Incoherent Motion (IVIM) Models -- Analysis Protocol for Dynamic Contrast Enhanced (DCE)-MRI of Renal Perfusion and Filtration -- Quantitative Analysis of Renal Perfusion by Arterial Spin Labeling -- Analysis Protocol for the Quantification of Renal pH Using Chemical Exchange Saturation Transfer (CEST)-MRI -- Analysis Protocol for Renal Sodium (23Na) MR Imaging -- Analysis Methods for Hyperpolarized Carbon (13C) MRI of the Kidney -- Data Preparation Protocol for Low Signal-to-Noise Ratio Fluorine-19 MRI.…”
Link to Metadata

Food Studies Matter, Meaning, Movement by Szanto, David, Di Battista, Amanda, Knezevic, Irena

Table of Contents: “…Sasha Gora -- Creative: Tasting 'Authenticity,' Annika Walsh and fin-xuan lee -- Case: Foood in Samoa, Garrett Hillyer -- Perspective: Place-Based Designations, Eden Kinkaid -- Creative: Food Tours, Natalie Doonan -- Perspective: Food Meanings, Marylynn Steckley -- Perspective: Gastronomy, Stan Blackley and Donald Reid -- Case: Food ni Kyrgyzstan, Christian Kelly Scott and Guangqing Chi -- Creative: Street Food Vendors, Vincent Andrisani -- Case: School Lunchtimes, Yukari Seko and Lina Rahouma -- Creative: Collaborative Eating Performances, Annika Walsh -- Perspective: Food Relationships, Sara Rotz -- Creative: Poems for Pollniatoors, Andrea Elena Noriega -- Case: Food and Folklore, Lucy Long -- Perspective: Household Foodwork, Mary Anne Martin and Michael Classens -- Creative: Making Mead, Joshua Steckley -- Perspective: Nutrition Paradigms, Alissa Overend -- Perspective: Eating Healthy, Jennifer Brady -- Activity: Classifying Food, Erin Sperling and Sara Scharf -- Creative: The Foodish Gaze, Annika Walsh -- Perspective: Food Allergies, Janis Goldiie -- Creative: Form and Matter, Annika Walsh -- Perspective: Salt, Liam Cole Young -- Case: Artisan Cheese, Amy Trubek -- Perspective: Disordered Eating, Danyael Lutgens and Andrew Ryder -- Case: Superfood Advertising, Anne F. …”
Access online version

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 o...

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

Agricultural Implications of the Fukushima Nuclear Accident

Table of Contents: “…Murakami, T. Suzuki, K. Iseda, K. Tanoi, and N. Ishii) -- 17. Developing an information package of radiation risk in beef after Fukushima Daiichi nuclear power plant accident (H. …”
Link to Metadata

Nanoscale Photonic Imaging

Table of Contents: “…Krebs) -- Convergence Analysis of Iteraive Algorithms for Phase Retrieval (D. R. Luke and A.…”
Link to Metadata

Beyond 100: The Next Century in Geodesy Proceedings of the IAG General Assembly, Montreal, Canada, July 8-18, 2019 /

Table of Contents: “…Part I: Reference Systems and Frames -- Towards an International Height Reference Frame Using Clock Networks -- Towards the realization of the International Height Reference Frame (IHRF) in Argentina -- Comparing Vienna CRF solutions to Gaia-CRF2 -- Co-Location of Space Geodetic Techniques: Studies on Intra-Technique Short Baselines -- Status of IGS Reprocessing Activities at GFZ -- A Wavelet-based Outlier Detection and Noise Component Analysis for GNSS Position Time Series -- Part II: Gravity field modelling -- International Combination Service for Time-variable Gravity Fields (COST-G) - Start of operational phase and future perspectives -- LUH-GRACE2018: a new time series of monthly gravity field solutions from GRACE -- A Precise Geoid Model for Africa: AFRgeo2019 -- Part III: Earth rotation and geodynamics -- A first assessment of the corrections for the consistency of the IAU2000 and IAU2006 precession-nutation models -- Report of the IAU/IAG Joint Working Group on Theory of Earth rotation andvalidation -- Achievements of the first 4 years of the International Geodynamics and Earth Tide Service (IGETS) 2015 - 2019 -- Inter-comparison of ground gravity and vertical height measurements at collocated IGETS stations -- Part IV: Multi-Signal Positioning, Remote Sensing and Applications -- A Benchmarking Measurement Campaign to Support Ubiquitous Localization in GNSS Denied and Indoor Environments -- A method to correct the raw Doppler observations for GNSS velocity determination -- Assessment of a GNSS/INS/Wi-Fi Tight-Integration Method Using Support Vector Machine and Extended Kalman Filter -- Enhancing navigation in difficult environments with low-cost, dual-frequency GNSS PPP and MEMS IMU -- Part V: Monitoring and Understanding the Dynamic Earth with Geodetic Observations -- Water Depletion and Land Subsidence in Iran using Gravity, GNSS, InSAR and Precise Levelling Data -- Past and future sea level changes and land uplift in the Baltic Sea seen by geodetic observations -- Estimation ofLesser Antilles vertical velocity fields using a GNSS-PPP software comparison -- Time variations of the vertical component in Japanese GEONET GNSS sites -- An approximate method to simulate post-seismic deformations in a realistic Earth model -- Geodetic monitoring of the variable surface 1 deformation in Latin America -- Progress in GTEWS ground displacement measurements and tsunami warning -- Part VI: Geodesy for Atmospheric and Hydrospheric Climate Research (IAG, IAMAS, IACS, IAPSO) -- Characterization of the Upper Atmosphere from Neutral and Electron Density Observations -- Tropospheric products from high-level GNSS processing in Latin America -- Can vertical GPS displacements serve as proxies for climate variability in North America? …”
Link to Metadata

The Economics of Big Science Essays by Leading Scientists and Policymakers /

Table of Contents: “…Introduction -- Towards a Sustainable European Research Infrastructures Ecosystem -- Economics of Science in the Time of Data Economy and Gigabit Society -- The SKA Approach to Sustainable Research -- The European Spallation Source: Designing a Sustainable Research Infrastructure for Europe -- Optimising the Benefits from Research Institutes -- Rethinking the Socio-economic Value of Big Science: Lessons from the FCC Study -- Socio-Economic Impact Assessments of ESA Programmes: A Brief Overview -- Designing a Socio-Economic Impact Framework for Research Infrastructures: Preliminary Lessons from the RI-PATHS Project -- Findings from the LHC/HL-LHC Programme -- Designing a Research Infrastructure with Impact in Mind -- Leveraging the Economic Potential of FCC's Technologies and Processes -- How to Value Public Science Employing Social Big Data? …”
Link to Metadata

Unmanned Aircraft Systems in the Cyber Domain by Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D.

Table of Contents: “…Chapter 1 - A View of the UAS Market -- Chapter 2 - UAS Law - Legislation, Regulation, and Adjudication -- Chapter 3 - Understanding Hostile Use and Cyber-Vulnerabilities of UAS -- Chapter 4 - INFOSEC – Protecting UAS Information Channels & Components -- Chapter 5 - Intelligence & Red Teaming -- Chapter 6 - Case Studies in Risk for UAS -- Chapter 7 - UAS SAA Methodologies, Conflict Detection -- Chapter 8 - Designing UAS Systems for Stealth -- Chapter 9 - Case Study Smart Skies Project -- Chapter 10 - UAS Intelligence, Surveillance and Reconnaissance (ISR) -- Chapter 11 - UAS Weapons -- Chapter 12 - UAS System Deployment and Information Dominance (ID) -- Chapter 13 - Data Links Functions, Attributes and Latency -- Chapter 14 - Exposing UAS Vulnerabilities via Electronic Warfare (EW) and Countering with Low Probability Intercept Signals (LPI) -- Chapter 15 - Africa - World’s First Busiest Drone Operational Proving Ground -- Chapter 16 - Chinese Drones in Spratly Islands, and Chinese Threats to USA forces in Pacific -- Chapter 17 - High-Altitude Platforms (HAPS) – A Promise not Reached -- Chapter 18 - C-UAS and Large Scale Threats -- Chapter 19 - Audiology, Acoustic Countermeasures against Swarms and Building IFF Libraries -- Chapter 20 - Legal and Regulatory – Where It Was, Where It Is and What’s Ahead? …”
Access online version