F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
561	Approximately Counting Perfect Matchings in General Graphs Martin F¨ urer ∗ Shiva Prasad Kasiviswanathan Computer Science and Engineering Pennsylvania State University University Park, PA 16802. {furer, kasivisw}@cse. Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:19:14 Matching Computational problems Algebraic graph theory Combinatorial optimization Computing the permanent Randomized algorithm Graph factorization Adjacency matrix Bipartite graph Mathematics Graph theory Theoretical computer science
562	Capacity of Multi-Channel Wireless Networks ∗ with Random (c, f) Assignment Vartika Bhandari Nitin H. Vaidya Add to Reading List Source URL: www.sigmobile.org Language: English - Date: 2013-08-14 12:38:30 Information Maximum flow problem Network coding Channel Telecommunications engineering Chord Cooperative diversity Information theory Network flow Mathematics
563	T W O D AY S T O A S H O R T S T O R Y c o u rs e a p p l i c at i o n f or m Please forward your application form to Faber Academy, PO Box 8500, St Leonards NSW 1590 or email . Name Address Add to Reading List Source URL: faberwritingacademy.com.au Language: English - Date: 2014-11-19 23:57:15 Software engineering Programming language theory Computing C Cross-platform software
564	A STANDARD ZERO FREE REGION FOR RANKIN SELBERG L-FUNCTIONS Dorian Goldfeld, Xiaoqing Li Abstract. A standard zero free region is obtained for Rankin Selberg L-functions L(s, f ×f ) where f is a tempered Maass form on GL Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2015-01-24 21:51:00 Modular forms Q-analogs Analytic functions Factorial Number theory Theta function Proof that π is irrational Random permutation statistics Mathematics Mathematical analysis Combinatorics
565	T HE 11TH I NTERNATIONAL C ONFERENCE ON F INITE F IELDS AND THEIR A PPLICATIONS ¨ M AGDEBURG 22–26 J ULY 2013, OTTO - VON -G UERICKE -U NIVERSIT AT Sunday, ::00 Add to Reading List Source URL: www.math.uni-magdeburg.de Language: English - Date: 2013-07-10 10:20:22 Field theory Algebraic structures Polynomials Finite fields Coding theory Permutation polynomial Emmy Noether Field Matrix Abstract algebra Mathematics Algebra
566	Optimizing F-Measures: A Tale of Two Approaches Nan Ye Department of Computer Science, National University of Singapore, SingaporeKian Ming A. Chai Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-06-28 04:45:03 Decision theory Loss function Statistical theory Estimation theory Biblical criticism Symbol Differences between codices Sinaiticus and Vaticanus Statistics Econometrics Bible
567	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
568	THOMPSON, WILLIAM F., Perceived Key Movement in Four-Voice Harmony and Single Voices , Music Perception, 9::Summer) p.427 THOMPSON, WILLIAM F., Perceived Key Movement in Four-Voice Harmony and Single Voices , Mus Add to Reading List Source URL: www.psy.mq.edu.au Language: English - Date: 2012-10-02 18:53:16 Music cognition Mind Voice leading Harmony Music theory Perception
569	PHYSICAL REVIEW E 82, 026309 共2010兲 Velocity, energy, and helicity of vortex knots and unknots F. Maggioni,1 S. Alamri,2 C. F. Barenghi,3 and R. L. Ricca4 1 Add to Reading List Source URL: www.matapp.unimib.it Language: English - Date: 2014-06-22 16:39:50 Fluid mechanics Knot theory Vortices Biot–Savart law Vorticity Torus Quantum vortex Vortex Crossing number Physics Fluid dynamics Aerodynamics
570	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science

UPDATE