Reference sources

References 433–456 of 766

433. Mathematizing C++ concurrency

     Mark Batty; Scott Owens; Susmit Sarkar; Peter Sewell; Tjark Weber
     2011
     Open original source ↗
     Referenced in (1)

     • Concurrent Programs Across Memory Models: From Litmus Tests to Contracts

434. Mean teachers are better role models: Weight-averaged consistency targets improve semi-supervised deep learning results

     Antti Tarvainen; Harri Valpola
     2017
     Open original source ↗
     Referenced in (1)

     • Learning from a Moving Teacher: Self-Distillation, Temporal Smoothing, and Collapse Boundaries

435. Measurement of gravitational acceleration by dropping atoms

     Achim Peters; Keng Yeow Chung; Steven Chu
     1999
     Open original source ↗
     Referenced in (1)

     • Matter Waves as Accelerometers: Scale Factors, Wavefronts and the Cost of Longer Interrogation

436. Measurements of the Hubble Constant: Tensions in Perspective*

     Wendy L. Freedman
     2021
     Open original source ↗
     Referenced in (1)

     • Measuring Cosmic Expansion Twice: Calibration, Model Dependence and the Hubble Tension

437. Measuring Massive Multitask Language Understanding

     Hendrycks et al.
     2020-09-07

     Source location: v3 abstract; 57-task benchmark

     Source scope: MMLU covers 57 academic and professional tasks; a task average is not general expert qualification.

     Inspected on: 2026-10-15

     Open original source ↗
     Referenced in (1)

     • 超越单一排行榜：能力测量、污染控制与统计不确定性

438. Measuring the Atlantic Meridional Overturning Circulation at 26°N

     G.D. McCarthy; D.A. Smeed; W.E. Johns; E. Frajka-Williams; B.I. Moat; D. Rayner; M.O. Baringer; C.S. Meinen; J. Collins; H.L. Bryden
     2015
     Open original source ↗
     Referenced in (1)

     • Reading an Ocean Circulation: AMOC Observations, Proxy Ambiguity and Early-Warning Claims

439. Meltdown: Reading Kernel Memory from User Space

     Moritz Lipp; Michael Schwarz; Daniel Gruss; Thomas Prescher; Werner Haas; Anders Fogh; Jann Horn; Stefan Mangard; Paul Kocher; Daniel Genkin; Yuval Yarom; Mike Hamburg
     2018
     Open original source ↗
     Referenced in (1)

     • Isolation Beyond Architectural State: Reasoning About Microarchitectural Leakage

440. MEMO: Test Time Robustness via Adaptation and Augmentation

     Marvin Zhang; Sergey Levine; Chelsea Finn
     2022
     Open original source ↗
     Referenced in (1)

     • When Inference Updates the Model: Test-Time Adaptation, Confidence, and State Drift

441. Metrics that matter for assessing the ocean biological carbon pump

     Ken O. Buesseler; Philip W. Boyd; Erin E. Black; David A. Siegel
     2020-04-06

     Source location: Abstract; reference-depth analysis

     Source scope: 出口深度与透光层基准会改变效率比较。

     Open original source ↗
     Referenced in (1)

     • 海洋碳泵的深度账本：颗粒输送、破碎与真正的封存时间

442. MI6: Secure Enclaves in a Speculative Out-of-Order Processor

     Thomas Bourgeat; Ilia Lebedev; Andrew Wright; Sizhuo Zhang; Arvind; Srinivas Devadas
     2019
     Open original source ↗
     Referenced in (1)

     • Isolation Beyond Architectural State: Reasoning About Microarchitectural Leakage

443. MillWheel: fault-tolerant stream processing at internet scale

     Tyler Akidau; Alex Balikov; Kaya Bekiroğlu; Slava Chernyak; Josh Haberman; Reuven Lax; Sam McVeety; Daniel Mills; Paul Nordstrom; Sam Whittle
     2013
     Open original source ↗
     Referenced in (1)

     • Exactly-Once Effects Across Crashes: Where the Transaction Boundary Ends

444. MillWheel: Fault-Tolerant Stream Processing at Internet Scale

     Tyler Akidau; Alex Balikov; Kaya Bekiroglu; Slava Chernyak; Josh Haberman; Reuven Lax; Sam McVeety; Daniel Mills; Paul Nordstrom; Sam Whittle
     2013
     Open original source ↗
     Referenced in (1)

     • When a Stream Is Complete: Event Time, Watermarks, and Revisable Results

445. MISA: Modality-Invariant and -Specific Representations for Multimodal Sentiment Analysis

     Devamanyu Hazarika; Roger Zimmermann; Soujanya Poria
     2020
     Open original source ↗
     Referenced in (1)

     • When a Sensor Is Missing: Multimodal Learning and Identifiability

446. Mitochondrial fragmentation drives selective removal of deleterious mtDNA in the germline

     Toby Lieber; Swathi P. Jeedigunta; Jonathan M. Palozzi; Ruth Lehmann; Thomas R. Hurd
     2019
     Open original source ↗
     Referenced in (1)

     • Genomes within Cells: Drift, Selection and the Measurement of Mitochondrial Heteroplasmy

447. mixup: Beyond Empirical Risk Minimization

     Hongyi Zhang; Moustapha Cisse; Yann N. Dauphin; David Lopez-Paz
     2017
     Open original source ↗
     Referenced in (1)

     • Interpolation Changes the Learning Distribution

448. MMMU: A Massive Multi-discipline Multimodal Understanding and Reasoning Benchmark for Expert AGI

     Yue et al.
     2023-11-27

     Source location: v4 abstract; dataset scope

     Source scope: MMMU combines 11.5K multimodal questions across 30 subjects. Historical model scores are not current performance guarantees.

     Inspected on: 2026-10-15

     Open original source ↗
     Referenced in (1)

     • 超越单一排行榜：能力测量、污染控制与统计不确定性

449. Module-Lattice-Based Key-Encapsulation Mechanism Standard

     National Institute of Standards and Technology
     2024
     Open original source ↗
     Referenced in (1)

     • Replacing a Primitive Is Not Migrating a Protocol: Post-Quantum Key Establishment

450. Monkey: Optimal Navigable Key-Value Store

     Niv Dayan; Manos Athanassoulis; Stratos Idreos
     2017
     Open original source ↗
     Referenced in (1)

     • The Price of Sorted State: Compaction, Amplification, and Value Separation

451. Monotonic References for Gradual Typing

     Jeremy G. Siek; Michael M. Vitousek
     2014
     Open original source ↗
     Referenced in (1)

     • Types at the Boundary: Gradual Guarantees, Blame, and the Cost of Enforcement

452. More Than a Feeling: Learning to Grasp and Regrasp Using Vision and Touch

     Roberto Calandra; Andrew Owens; Dinesh Jayaraman; Justin Lin; Wenzhen Yuan; Jitendra Malik; Edward H. Adelson; Sergey Levine
     2018
     Open original source ↗
     Referenced in (1)

     • Touch as an Active Measurement: Tactile Robotics, Contact Ambiguity and Robust Manipulation

453. Multi-pass, single-molecule nanopore reading of long protein strands

     Keisuke Motone; Daphne Kontogiorgos-Heintz; Jasmine Wee; Kyoko Kurihara; Sangbeom Yang; Gwendolin Roote; et al.
     2024-09-11

     Source location: Abstract; Figs. 2–6; VR classification

     Source scope: 长蛋白链与修饰检测概念验证；保留构建物及分子级划分边界。

     Open original source ↗
     Referenced in (1)

     • 读取单个蛋白的真实边界：纳米孔重读、构象噪声与蛋白型识别

454. Multi-Scale Dense Networks for Resource Efficient Image Classification

     Gao Huang; Danlu Chen; Tianhong Li; Felix Wu; Laurens van der Maaten; Kilian Q. Weinberger
     2018
     Open original source ↗
     Referenced in (1)

     • The Price of Stopping Early: Adaptive Depth, Confidence, and the Systems Cost of Neural Decisions

455. Multimessenger observations of a flaring blazar coincident with high-energy neutrino IceCube-170922A

     The IceCube Collaboration; Fermi-LAT; MAGIC; AGILE; ASAS-SN; HAWC; et al.
     2018-07-13

     Source location: Abstract; multimessenger association and significance

     Source scope: 单次关联不是全部宇宙线来源的证明。

     Open original source ↗
     Referenced in (1)

     • 一条粒子轨迹指向哪里：中微子来源、多信使关联与全局显著性

456. Multimodal Generative Models for Scalable Weakly-Supervised Learning

     Mike Wu; Noah Goodman
     2018
     Open original source ↗
     Referenced in (1)

     • When a Sensor Is Missing: Multimodal Learning and Identifiability