F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
641	Computers & Geosciences–654 On the adequacy of identiﬁed Cole–Cole models$ Jianping Xianga, Daizhan Chengb, F.S. Schlindweinc,, N.B. Jonesc a Add to Reading List Source URL: www.le.ac.uk Language: English* - Date: 2003-05-20 04:04:15 Robust statistics Statistical inference RANSAC Least squares Estimation theory Levenberg–Marquardt algorithm Statistics Regression analysis Econometrics
642	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph
643	STAN F O R D L I N E AR A C C ELER A TOR C ENTER Summer/Fall 1999, Vol. 29, No. 2 A PERIODICAL OF PARTICLE PHYSICS SUMMER /FALL 1999 Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 1999-09-17 12:03:51 Symmetry Quantum field theory Quarks CP violation Kaon Asymmetry Weak interaction B meson B-factory Physics Mesons Particle physics
644	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
645	A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:29:59 Type theory Lambda calculus Data types Polymorphism Theoretical computer science Subtype polymorphism System F ALGOL 68 Type system Software engineering Mathematics Computing
646	J. Andrusenko, J. L. Burbank, and F. Ouyang Future Trends in Commercial Wireless Communications and Why They Matter to the Military Julia Andrusenko, Jack L. Burbank, and Feng Ouyang Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2015-04-09 13:43:43 Radio resource management Information theory IEEE 802 Electronic engineering Multi-user MIMO MIMO 4G WiMAX LTE Advanced Telecommunications engineering Technology Wireless networking
647	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
648	Lp Bounds for Spectral Clusters for Lipschitz Metrics Hart F. Smith Department of Mathematics University of Washington, Seattle Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2011-06-02 21:03:47 Ordinary differential equations Mathematics Representation theory of Lie groups Spectral theory of ordinary differential equations Fourier analysis Spectral theory Mathematical analysis Operator theory
649	STAN F O R D L I N E AR A C C ELER A TOR C ENTER Summer/Fall 2000, Vol. 30, No. 2 A PERIODICAL OF PARTICLE PHYSICS SUMMER / FALL 2000 Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2000-09-22 16:56:33 Particle physics Quantum mechanics Theoretical physics Introduction to quantum mechanics Interpretations of quantum mechanics Copenhagen interpretation Albert Einstein Werner Heisenberg String theory Physics Quantum measurement Nobel laureates in Physics
650	Chemical Engineering Science – 3753 www.elsevier.com/locate/ces Practical chaotic mixing M. M. Alvarez-Hern&andez, T. Shinbrot, J. Zalc, F. J. Muzzio ∗ Add to Reading List Source URL: www.acusim.com Language: English - Date: 2012-11-11 10:13:36 Pumps Impeller Industrial mixer Rushton turbine Mixing Reynolds number Chaos theory Fluid dynamics Fluid mechanics Dynamics

UPDATE