Riffled Independence for Ranked Data (extended version with proofs) Jonathan Huang, Carlos Guestrin School of Computer Science, Carnegie Mellon University

Source URL: select.cs.cmu.edu

• Fourier analysis
• Probability distributions
• Measure theory
• Fourier transform
• Joseph Fourier
• Permutation
• Random walk
• F-distribution
• Dirac delta function
• Symbol
• Riffle shuffle permutation
• Normal distribution

Underdamped stochastic heat engine at maximum efficiency Andreas Dechant,1 Nikolai Kiesel,2 and Eric Lutz1 arXiv:1602.00392v1 [cond-mat.stat-mech] 1 Feb

Source URL: aspelmeyer.quantum.at

• Thermodynamics
• Ordinary differential equations
• Control theory
• Damping
• Endoreversible thermodynamics
• Determinacy
• Carnot cycle
• Symbol
• Entropy
• Ordinal number

Natur des Jahres 2004 Schon gewusst? Alter Brauch Schon bei den alten Germanen hatte die immergrüne Tanne KultBedeutung als „Mittwinterbaum“; sie war Symbol von Lebenskraft und ständigem Wachstum. Ältester Weihnac

Source URL: www.sdw-nrw.de

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical logic
• Logic
• Proof theory
• Computability theory
• Mathematics
• Constructivism
• Primitive recursive functional
• First-order logic
• Symbol
• Primitive recursive function
• Primitive recursive arithmetic
• Realizability

VERSION 1.0B of theBPS GOES Data Collection Platform Radio Set (DCPRS) CERTIFICATION STANDARDS

Source URL: dcs1.noaa.gov

• Data transmission
• Error detection and correction
• Computing
• Symbol rate
• Parity bit
• Control character
• Media technology
• Data

On the asymptotic behavior of odd operators Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany 3. May 2011, some typos corrected 10. Dec. 20

Source URL: www.mathematik.tu-darmstadt.de

• Symbol
• Fourier analysis
• Table of stars with Bayer designations
• Fast-growing hierarchy

Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA

Source URL: ecee.colorado.edu

• Type theory
• Software engineering
• Programming language theory
• Mathematical logic
• Type systems
• Data types
• Gradual typing
• Subtyping
• Symbol
• Type safety
• Model theory
• Type inference

Exponential Stochastic Cellular Automata for Massively Parallel Inference Michael Wick Oracle Labs,

Source URL: manzil.ml

• Estimation theory
• Expectationmaximization algorithm
• Missing data
• Exponential family
• Latent Dirichlet allocation
• Symbol
• Variational Bayesian methods

New Hadamard Matrices of Order 4p2 obtained from Jacobi Sums of Order 16 ∗ Ka Hin Leung Department of Mathematics National University of Singapore Kent Ridge, Singapore

Source URL: www.ntu.edu.sg

• Algebra
• Abstract algebra
• Mathematics
• Commutative algebra
• Integral element
• Ring theory
• Algebraic number theory
• Closed and exact differential forms
• Table of stars with Bayer designations
• Symbol

1 Distributed Online Simultaneous Fault Detection for Multiple Sensors 1 Ram Rajagopal1 , XuanLong Nguyen2 , Sinem Coleri Ergen3 and Pravin Varaiya1

Source URL: dept.stat.lsa.umich.edu

• Probability distributions
• Symbol
• Normal distribution