F-theory

Results: 2982



#Item
261Functional analysis / Lemmas / Symbol / FO / IP / Dual space / Craig interpolation / Model theory / Linear temporal logic

The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2011-07-07 14:48:41
262Educational psychology / Communication theory / Organizational theory / Big data / Technology forecasting / Transaction processing / Productivity / Creativity / Flow / Social network / Social media / Learning analytics

i n f o r m at i o n t e c h n o l o g y The DataDriven Society  The digital traces we leave behind each day reveal more about us than we know. This could become a privacy nightmare—or it could

Add to Reading List

Source URL: socialmachines.media.mit.edu

Language: English - Date: 2015-04-21 01:13:50
263Attachment theory / Human development / Interpersonal relationships / Psychoanalysis / Ethology / Learning / Child care / Play / Secure attachment / Toddler / Learning through play / Parenting

A B O O K L E T F O R PA R E N T S Learning to Play and Playing to Learn: What Families Can Do

Add to Reading List

Source URL: www.beststart.org

Language: English - Date: 2015-01-05 10:00:07
264Fourier analysis / Differential equations / Ordinary differential equations / Partial differential equations / Operator theory / Integration by parts / Bessel function

Exponential relaxation to self-similarity for the superquadratic fragmentation equation P. Gabriel∗ F. Salvarani

Add to Reading List

Source URL: pgabriel.perso.math.cnrs.fr

Language: English - Date: 2016-04-12 10:23:45
265Algebraic topology / Topological spaces / Homotopy theory / Geometric group theory / Triangulation / Simplicial complex / Simplex / Gromov boundary / Convex set / CW complex / Hyperplane / Arrangement of hyperplanes

SIMPLICES AT INFINITY IN CAT(0) CUBE COMPLEXES MARK F. HAGEN These are notes for lectures given in Nice in March 2016, on simplicial boundaries of CAT(0) cube complexes. They cover the denition, basic properties, some

Add to Reading List

Source URL: www.wescac.net

Language: English - Date: 2016-02-27 09:13:10
266Distribution of wealth / Income distribution / Social inequality / Economic globalization / Economic inequality / Libertarian theory / Capital in the Twenty-First Century / Thomas Piketty / Perma.cc / Wealth concentration / Poverty

Microsoft Word - Epstein_F

Add to Reading List

Source URL: www.harvard-jlpp.com

Language: English - Date: 2016-02-02 17:24:33
267Black holes / General relativity / Theory of relativity / Lorentzian manifolds / Mass / Mass in general relativity / Cosmic censorship hypothesis / Angular momentum / Kerr metric / Asymptotically flat spacetime / Trapped surface / Spacetime

Area-Angular momentum inequality in stable marginally trapped surfaces J.L. Jaramillo1,2 , M. Reiris1 and S. Dain3 1) Max-Planck-Institut f¨ ur Gravitationsphysik, Albert-Einstein-Institut Am M¨

Add to Reading List

Source URL: gigda.ugr.es

Language: English - Date: 2011-10-21 04:10:12
268Elementary algebra / Inequality / Linear inequality / Probability theory

Solution of Parameter-Varying Linear Matrix Inequalities in Toeplitz Form George B. Mertzios Fakult¨at f¨ ur Mathematik, Technische Universit¨at M¨ unchen

Add to Reading List

Source URL: community.dur.ac.uk

Language: English - Date: 2010-02-04 13:34:36
269Surgery theory / Knot invariants / Differential topology / 3-manifolds / Geometric topology / Link group / Arf invariant / Finite type invariant / H-cobordism / Manifold / Link concordance / Cobordism

Higher-Order Intersections in Low-Dimensional Topology Jim Conant ∗ , Rob Schneiderman † , and Peter Teichner ‡ ∗ University of Tennessee,† Lehman College CUNY, and ‡ UC Berkeley and Max-Planck-Institut f¨

Add to Reading List

Source URL: people.mpim-bonn.mpg.de

Language: English - Date: 2012-08-01 06:52:27
270Functional languages / Object-oriented programming languages / Data types / Parsing / Type theory / F Sharp / Lexical analysis / Type system / OCaml / Anonymous function / Scala / Type inference

The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som

Add to Reading List

Source URL: fsharp.org

Language: English - Date: 2016-08-15 16:34:27
UPDATE