F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
161	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
162	ARKANSAS ADVOCATES FOR CHILDREN AND FAMILIES A F F E C T I N G P O L I C Y A N D P RO G R A M M I N G Contents Add to Reading List Source URL: www.frontlinesol.com Language: English - Date: 2015-08-20 11:43:25 AACF Arkansas Advocates for Children and Families Winthrop Rockefeller Theory of change Little Rock Arkansas Arkansas United States
163	Cancer: Another Algorithm for Subtropical Matrix Factorization Sanjar Karaev and Pauli Miettinen Max-Planck-Institut f¨ ur Informatik Saarbr¨ Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-24 11:23:03 Algebra Mathematics Linear algebra Matrix theory Numerical linear algebra Multivariate statistics Non-negative matrix factorization Matrix Rank Factorization Singular value decomposition Nonnegative rank
164	Universit¨at Wien SS 2016 Fakult¨at f¨ ur Mathematik Christa Cuchiero Ludovic Tangpi Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2016-04-13 07:35:55 Stochastic processes Mathematical analysis Probability theory Probability Stopping time Filtration
165	HP Prime Technology Corner 19 The Practice of Statistics for the AP Exam, 5e Section 9-3, P. 579 Add to Reading List Source URL: www.hp-prime.de Language: English - Date: 2014-09-09 06:15:59 Statistics Statistical tests Statistical theory Hypothesis testing Statistical inference P-value Probability distribution One- and two-tailed tests Statistical hypothesis testing F-test HP calculators
166	PHYSICAL REVIEW E 90, Dynamics of random neural networks with bistable units M. Stern,1,4,* H. Sompolinsky,1,2,3 and L. F. Abbott4,5 1 Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2015-04-09 15:53:25 Dynamical system Systems Systems theory Connection Differential geometry Oval Cartan connection
167	GROEBNER: A Package for Calculating Gr¨obner Bases, Version 3.0 H. Melenk & W. Neun Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:46:40 Mathematics Algebra Abstract algebra Polynomials Commutative algebra Computer algebra Invariant theory Monomial Variable Grbner basis Monomial order
168	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
169	WEDNESDAY COMMUNIQUÉ November 11, 2015 Veterans Day: Today is Veterans Day. Let us honor them by remembering and acting on the words of John F. Kennedy: “As we express our gratitude, we must never forget that the high Add to Reading List Source URL: provost.unm.edu Language: English - Date: 2015-11-11 13:51:31 Control theory New Mexico Lobos Philosophy of artificial intelligence Philosophy of mind Philosophy of technology System Lobo Feedback Science and technology Science Knowledge
170	Exploring Black Holes Introduction to General Relativity Edwin F. Taylor Massachusetts Institute of Technology John Archibald Wheeler Add to Reading List Source URL: www.eftaylor.com Language: English - Date: 2003-02-18 11:03:22 Physics Black holes Theoretical physics General relativity Theory of relativity Exact solutions in general relativity Galaxies Introduction to general relativity Gravitational wave Event horizon Special relativity Gravity

UPDATE