F-theory

Results: 2982



#Item
921Computational complexity theory / Finite model theory / Circuit complexity / Clique problem / Clique / Wilhelm Ackermann / Logic / Switching lemma / Descriptive complexity theory / Theoretical computer science / Mathematics / Applied mathematics

The Ackermann Award 2011 Report of the Jury The seventh Ackermann Award will be presented at this CSL’11, held in Bergen, Norway. This is the fifth year the EACSL Ackermann Award is generously sponsored. Our sponsor f

Add to Reading List

Source URL: eacsl.kahle.ch

Language: English - Date: 2013-12-08 17:58:05
922Marxist theory / Socialism / Science / Structure / Social class / Bourgeoisie / Division of labour / Surplus value / Labour economics / Social groups / Anthropology / Sociology

CAP1TY.L F?ESTRUCTORING AKD THE MOD~CATIONOF THE RACIAL D~VISIONOF LABOUR IN SOUTIEAFRICA+ Robert Davies Recent months* have seen a number of signs that a process of restructuring involving

Add to Reading List

Source URL: sas-space.sas.ac.uk

Language: English - Date: 2015-03-03 12:03:48
923Philosophy of mind / Social psychology / Cognitive science / Social cognition / Social learning theory / Social philosophy / Psychology / Intuition / ACT-R / Cognition / Mind / Behavior

The Research unit Social and Economic Cognition II, University of Cologne, Germany, invites applications for a Full-Time position as Postdoctoral Researcher (m/f) (Economist or Psychologist) The research unit Social and

Add to Reading List

Source URL: www.stellenwerk-koeln.de

Language: English - Date: 2015-03-19 08:50:37
924Mathematics / Ken Batcher / Graphics hardware / Video cards / GPGPU / Merge sort / Sorting network / Sort / Bitonic sorter / Sorting algorithms / Computing / Order theory

Microsoft PowerPoint - F.owens.algorithms.ppt

Add to Reading List

Source URL: gpgpu.org

Language: English - Date: 2009-04-05 17:42:52
925Lie groups / Mathematical structures / Group theory / Algebraic structures / Linear algebra / Lattice / Building / Vector space / Principal homogeneous space / Algebra / Abstract algebra / Mathematics

THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I

Add to Reading List

Source URL: slugmath.ucsc.edu

Language: English - Date: 2009-04-21 02:55:39
926Lie groups / Algebraic structures / Mathematical structures / Group theory / Lattice / Vector space / Principal homogeneous space / Unimodular lattice / Ideal lattice cryptography / Algebra / Abstract algebra / Mathematics

THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I

Add to Reading List

Source URL: slugmath.ucsc.edu

Language: English - Date: 2009-03-28 15:07:41
927Algebraic topology / Homotopy theory / Differential topology / Orbifold / Representation theory of Lie groups / Fundamental group / Covering space / Weight / Linear map / Abstract algebra / Mathematics / Algebra

SUBDIVISION RULES AND VIRTUAL ENDOMORPHISMS J. W. CANNON, W. J. FLOYD, W. R. PARRY, AND K. M. PILGRIM Abstract. Suppose f : S 2 → S 2 is a postcritically finite branched covering without periodic branch points. If f is

Add to Reading List

Source URL: www.math.vt.edu

Language: English - Date: 2009-06-09 14:36:42
928Lie groups / Mathematical structures / Group theory / Algebraic structures / Linear algebra / Lattice / Building / Vector space / Principal homogeneous space / Algebra / Abstract algebra / Mathematics

THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I

Add to Reading List

Source URL: slugmath.ucsc.edu

Language: English - Date: 2009-04-17 11:22:12
929Mathematics / Harness racing in New Zealand / Classical cipher / Index of agriculture articles / Group action / Group theory / Symmetry

G R O W I N G X T O G E T H E R X O R X D R I F T I N G X A P A R T ○ ○ ○

Add to Reading List

Source URL: www.wpusa.org

Language: English - Date: 2009-11-04 14:23:03
930Software engineering / Theoretical computer science / Lambda calculus / Inference / Type inference / Hindley–Milner / System F / Greek alphabet / Type theory / Type systems / Programming language theory

FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:09
UPDATE