F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
571	Analytic representation of critical equations of state Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Oskar-Morgenstern-Platz 1, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2014-01-03 05:23:16 Phase transitions Renormalization group Conformal field theory Dimensional analysis Critical exponent Polar coordinate system Critical point Physics Quantum field theory Critical phenomena
572	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
573	Norms of trigonometric polynomials Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Theorem 1. Let 1 ≤ p ≤ q ≤ ∞. If fˆ(j) = 0 for \|j\| > n + 1 then Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:55:40 Approximation theory Fourier analysis Trigonometric polynomial Mathematics Mathematical analysis Trigonometry Polynomials
574	REVIEWS BOOKS Learning Python with Raspberry Pi Graham Morrison absolutely hates this book. It’s rubbish. Honestly. F Add to Reading List Source URL: www.linuxvoice.com Language: English - Date: 2015-02-09 09:27:26 Python Raspberry Pi Algorithm Pi ALGOL 68 Computing Software engineering Programming language theory
575	Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:06:13 Computer programming Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Foreach loop Software engineering Computing Type theory
576	Microsoft Word - E1 updated may 2010 F&C clause.doc Add to Reading List Source URL: www.cwc.gov.in Language: English - Date: 2012-11-07 01:37:25 Procurement Business law Contract A personal selling Purchasing First-price sealed-bid auction Auction Design–bid–build Business Auctioneering Auction theory
577	A1310_06_F-MusicTech.indd Add to Reading List Source URL: www.leoalmanac.org Language: English - Date: 2014-02-11 08:32:32 National security Privacy Surveillance Public safety Media Anonymity Critical theory Security Crime prevention Law enforcement
578	Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Computability theory Theory of computation Lambda calculus Mathematical logic Church–Turing thesis Entscheidungsproblem Halting problem System F Computability Mathematics Theoretical computer science Computer science
579	Linear systems with large uncertainties, with applications to truss structures Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2006-01-31 04:51:25 Arithmetic Computer arithmetic Interval arithmetic Support Numerical analysis Measure theory Mathematics
580	The University of Hong Kong DEPARTMENT OF MATHEMATICS MATH3302/MATH4302 Algebra II Assignment 1 Due: Tuesday 1 pm, February 17, 2015. In the following, E, F, K are fields. Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2015-02-02 23:06:33 Field extension Field Factorization of polynomials over a finite field and irreducibility tests Splitting field Abstract algebra Algebra Field theory

UPDATE