C OV ER F E AT U RE OPTIMIZING SENSING: FROM WATER TO THE WEB

Source URL: select.cs.cmu.edu

• Mathematics
• Applied mathematics
• Search algorithms
• Numerical analysis
• Combinatorial optimization
• Submodular set function
• Cybernetics
• Mathematical optimization
• Routing algorithms
• Wireless sensor network
• Greedy algorithm
• Algorithm

A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th

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

• Predicate logic
• Computability theory
• Recursion
• Logic
• Theory of computation
• Primitive recursive arithmetic
• Primitive recursive function
• Quantifier
• First-order logic
• Free variables and bound variables
• Herbrandization

Expectations of linear functions with respect to truncated multinormal distributions, with applications for uncertainty analysis in environmental modelling Jason J. Sharples and John C.V. Pezzey Australian National Unive

Source URL: een.anu.edu.au

• Probability distributions
• Stable distributions
• Normal distribution
• Expected value
• Multivariate normal distribution
• Moment-generating function
• Truncated distribution
• Distribution
• Variance

The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´

Source URL: www.lri.fr

• Mathematics
• Computer arithmetic
• Arithmetic
• Numerical analysis
• Functions and mappings
• Interval arithmetic
• Interval
• Rounding
• Integral
• GNU MPFR
• Mode
• Function

COMPUTING THE PARTITION FUNCTION FOR GRAPH HOMOMORPHISMS ´n Alexander Barvinok and Pablo Sobero May 2015

Source URL: www.math.lsa.umich.edu

• Graph theory
• Mathematics
• NP-complete problems
• Graph coloring
• Line graph
• Graph homomorphism
• Approximately finite-dimensional C*-algebra
• Orbifold

SHS Web of Conferences 2 4, DOI: shsconf3  C Owned by the authors, published by EDP Sciences, 2016 Ecological function planning research of expo area in Jinjiang City’s

Source URL: www.shs-conferences.org

The Hash Function Family LAKE Jean-Philippe Aumasson1? , Willi Meier1 , and Raphael C.-W. Phan2?? 2 1 FHNW, 5210 Windisch, Switzerland

Source URL: 131002.net

Chapter 5 Matrix Sign Function The scalar sign function is defined for z ∈ C lying off the imaginary axis by  1, Re z > 0,

Source URL: www.siam.org

Finding Composition Trees for Multiple-Valued Functions E. V. Dubrova, J. C. Muzio VLSI Design and Test Group University of Victoria, P.O.Box 3055 Victoria, B.C., Canada, V8W 3P6

Source URL: www.maths.lse.ac.uk

• Mathematics
• Functions and mappings
• Boolean algebra
• Engineering
• Functional decomposition
• Philosophy of mathematics
• Philosophy of physics
• Function composition
• Ear decomposition
• Tree
• Function
• Boolean function