A Cubical Type Theory Simon Huber (j.w.w. Cyril Cohen, Thierry Coquand, Anders M¨ortberg) University of Gothenburg HoTT/UF 2015

Source URL: hott-uf.gforge.inria.fr

Chapter 9 In Tobias, S. and Duffy, T. M. (Eds.) Constructivist Theory Applied to Instruction: Success or Failure? New York: Routledge, Taylor and Francis. 158 – 183. 9 How Much and What Type of Guidance is Optimal for

Source URL: www.cogtech.usc.edu

Sizing Up Allometric Scaling Theory Van M. Savage., Eric J. Deeds., Walter Fontana* Department of Systems Biology, Harvard Medical School, Boston, Massachusetts, United States of America Abstract Metabolic rate, heart ra

Source URL: www.ncbi.nlm.nih.gov

On the Uniqueness of Quantum Equilibrium in Bohmian Mechanics S. Goldstein Departments of Mathematics and Physics Rutgers, The State University of New Jersey

Source URL: math.rutgers.edu

• Quantum mechanics
• Position operator
• De BroglieBohm theory
• Laws of science
• Computability theory
• Linear temporal logic
• Redescending M-estimator

Cubical Type Theory Free bounded distributive lattice The free distributive lattice on a set J can be described as the set of finite antichains in the poset of finite subsets of J, for the order L 6 M if, and only if, f

Source URL: www.cse.chalmers.se

Renormalization of the Yukawa Theory Physics 230A (Spring 2007), Hitoshi Murayama We solve Problem 10.2 in Peskin–Schroeder. The Lagrangian density is 1 1 ¯ 6 ∂ − M )ψ − ig ψγ

Source URL: hitoshi.berkeley.edu

FROM THEORY TO PRACTICE: REWARDS AND CHALLENGES Dominic W. Massaro, Michael M. Cohen, and Jonas Beskow Perceptual Science Laboratory, Dept. of Psychology, Univ. of California, Santa Cruz, CAUSA ABSTRACT Language p

Source URL: mambo.ucsc.edu

CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Data Structures for Restricted Triangular Range Searching Nadia M. Benbernou∗ Mashhood Ishaque†

Source URL: www.eecs.tufts.edu

• Computing
• Computer science
• Data management
• Database theory
• Search algorithms
• Range searching
• Range tree
• Fractional cascading
• Computational geometry
• Range query
• Bin
• Dynamic convex hull

RecapE-M ................

Source URL: genome.sph.umich.edu

• Estimation theory
• Statistical inference
• Statistical theory
• Estimator
• Confidence interval

Describing network congestion with an analytic queueing network model. Carolina Osorio, EPFL Michel Bierlaire, EPFL Conference paper STRC 2007

Source URL: www.strc.ch

• Stochastic processes
• Probability theory
• Queueing theory
• Probability
• Mathematical analysis
• Network performance
• Markov models
• Markov processes
• Jackson network
• M/M/c queue
• Product-form solution
• M/M/1 queue