F-theory

Results: 2982



#Item
531Administrative law / Decision theory / XMetaL / New Deal agencies / Rulemaking / Notice of proposed rulemaking / Federal Communications Commission / XML / SQL / Computing / United States administrative law / SoftQuad Software

[Discussion Draft] F:\CBO\114\TEL\PROC\PROC_01.XML [113H3675EH]

Add to Reading List

Source URL: docs.house.gov

Language: English - Date: 2015-05-18 16:51:12
532Sheaf theory / Scheme theory / Algebraic topology / Sheaf / Étale morphism / Proj construction / Algebraic space / Lemmas / Ideal sheaf / Abstract algebra / Algebraic geometry / Algebra

L For n=1,...,m where Lm• = 0, hence we can find a closed subset H in H and any sets F on X, U is a closed immersion of S, then U → T is a separated algebraic space. Proof. Proof of (1). It also start we get S = Spec

Add to Reading List

Source URL: cs.stanford.edu

Language: English - Date: 2015-05-04 17:31:38
533Nash equilibrium / Cournot competition / Game theory / Economics / Supply and demand

Impacts of suppliers’ learning behaviour on market equilibrium under repeated linear supply-function bidding Y.F. Liu, Y.X. Ni and F.F. Wu Abstract: The paper studies the impacts of learning behaviour of electrical-pow

Add to Reading List

Source URL: www.eee.hku.hk

Language: English - Date: 2012-06-13 00:42:14
534Theoretical computer science / Dynamical systems / Control theory / Lyapunov stability / Lyapunov function / Joint spectral radius / Semidefinite programming / Graph labeling / Graph / Graph theory / Mathematics / Stability theory

JOINT SPECTRAL RADIUS AND PATH-COMPLETE GRAPH LYAPUNOV FUNCTIONS∗ ¨ JUNGERS, AMIR ALI AHMADI, RAPHAEL PABLO A. PARRILO, AND MARDAVIJ ROOZBEHANI† Abstract. We introduce the framework of path-complete graph Lyapunov f

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2013-08-19 00:17:00
535Procedural programming languages / Type theory / Data types / Programming paradigms / Richard Bornat / ALGOL 68 / Programming language / Assignment / C / Software engineering / Computing / Computer programming

The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st

Add to Reading List

Source URL: wiki.t-o-f.info

Language: English - Date: 2012-01-05 14:13:29
536Type theory / Functional languages / Data types / Type systems / Quantification / ATS / Hindley–Milner / F Sharp / System F / Software engineering / Computing / Programming language theory

PDF Document

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2002-01-23 08:33:00
537Geographic information system / Database management systems / Database / Database theory

FWPRDC PO Box 69, World Trade Centre Melbourne 8005, Victoria T +F +www.fwprdc.org.au

Add to Reading List

Source URL: www.fwpa.com.au

Language: English - Date: 2014-05-23 03:02:50
538Field theory / Algebraic number theory / Galois extension / Field extension / Field / Separable extension / Fundamental theorem of Galois theory / Abstract algebra / Algebra / Galois theory

The University of Hong Kong DEPARTMENT OF MATHEMATICS MATH3302/MATH4302 Algebra II Assignment 3 Due: Tuesday 1 pm, March 17, 2015. In the following, E, F, K are fields.

Add to Reading List

Source URL: hkumath.hku.hk

Language: English - Date: 2015-03-03 04:39:36
539Control theory / Supervisory control / F-coalgebra

Introduction Supervisory control Coalgebraic formulation

Add to Reading List

Source URL: calco2011.ecs.soton.ac.uk

Language: English - Date: 2011-09-18 15:58:57
540Fourier analysis / Spectral theory / Differential geometry / Harmonic analysis / Laplace operator / Manifold / Spherical harmonics / Topological manifold / Spectral theory of ordinary differential equations / Mathematical analysis / Calculus / Mathematics

Eigenfunctions and Spectral Clusters Squarefunction estimates Lp Bounds for Spectral Clusters on Compact Manifolds with Boundary Hart F. Smith

Add to Reading List

Source URL: www.math.washington.edu

Language: English - Date: 2009-01-28 20:49:51
UPDATE