Ordinal number - PDFSEARCH.IO - Document Search Engine

Ordinal number
Results: 811

#	Item
1	Constrained Minimisation1 1 Here we investigate the different ways of writing a constrained minimisation problem. Just to remind you, minimising f (x) is equivalent to maximising −f (x). In a lagrange type formulation Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Constructible universe NC Isocost Ordinal number Theoretical computer science Numerical software Mathematics
2	Exercises 3: unconstrained maximization Let’s investigate Fact 1 from Daniel Wilhelm’s lecture notes. Fact 1: 1. if f has a local max (min) at point x∗ , then Df (x∗ ) = 0 and D2 f (x∗ ) is negative (positive) Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Probability distributions Mathematical analysis Statistics Probability Constructible universe Ordinal number Power laws Beta distribution Stable distribution
3	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence
4	arXiv:1201.0473v1 [math-ph] 2 JanA UNIVERSALITY THEOREM FOR RATIOS OF RANDOM CHARACTERISTIC POLYNOMIALS JONATHAN BREUER AND EUGENE STRAHOV Abstract. We consider asymptotics of ratios of random characteristic Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-01-03 20:57:09 Mathematical analysis Mathematics Functional analysis Ordinal number Wellfoundedness Constructible universe Distribution Probability distributions Differential forms on a Riemann surface Isotope lists 73-96
5	A Short Catalog of Test Ideas for… Any object • The null pointer Strings • The empty string Collections Add to Reading List Source URL: www.exampler.com Language: English - Date: 2016-06-29 18:28:29 Cascading Style Sheets Web design Ordinal number Computing Design JavaScript syntax
6	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
7	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
8	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
9	Full conglomerability, continuity and marginal extension Enrique Miranda1 and Marco Zaffalon2 Abstract We investigate fully conglomerable coherent lower previsions in the sense of Walley, and some particular cases of int Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-07-19 09:24:39 Probability theory Mathematical analysis Statistical theory Analysis Imprecise probability Conditional probability Limit of a function Ordinal number Conditioning Connection
10	Graded dominance Libor Bˇehounek1 , Ulrich Bodenhofer2 , Petr Cintula1 , and Susanne Saminger-Platz3 1 Institute of Computer Science Academy of Sciences of the Czech Republic, Prague, Czech Republic {behounek\|cintula}@c Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2008-05-06 06:51:53 Fuzzy logic Mathematical logic Logic Mathematics T-norm Constructible universe Monoidal t-norm logic Fuzzy set Net NC Fuzzy mathematics Ordinal number

UPDATE