F-theory

Results: 2982



#Item
811Abstract algebra / Linear algebra / NP-complete problems / Computational complexity theory / Vectors / Parameterized complexity / Kernelization / FO / Parameter / Algebra / Mathematics / Theoretical computer science

On Explaining Integer Vectors by Few Homogenous Segments Robert Bredereck? , Jiehua Chen?? , Sepp Hartung, Christian Komusiewicz, Rolf Niedermeier, and Ondˇrej Such´ y? ? ? Institut f¨

Add to Reading List

Source URL: fpt.akt.tu-berlin.de

Language: English - Date: 2013-05-07 04:32:27
812Thom space / Differential topology / Homotopy / Fiber bundle / Topology / Algebraic topology / Homotopy theory

Configuration space integrals (Bott & Taubes) Pontrjagin–Thom construction Product structure on homology of knot space (Budney & F. Cohen) Product structure and homotopy-theoretic Bott–Taubes classes A homotopy-theo

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2009-11-13 13:04:04
813Programming language theory / Subtype polymorphism / Type inference / Type system / Hindley–Milner / Variable / System F / Function / Parametric polymorphism / Type theory / Software engineering / Mathematics

, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-08-19 20:08:26
814Public health / Millennium Development Goals / Behavior change / Role / Sanitation / Theory of planned behavior / Hygiene / Behavior / Health

Developing Tools for Impact: Sanitation Behavior Change among Women in Southern Ethiopia Stephenie Chatfield, Graduate Student in Master of Sustainable Development Practice (MDP) Program, University of F

Add to Reading List

Source URL: sites.clas.ufl.edu

Language: English - Date: 2014-03-28 11:48:14
815Support / Normal distribution / Uniform distribution / Operator theory / Ordinary differential equations / Spectral theory / Sturm–Liouville theory / Poisson distribution / Mathematical analysis / Mathematics / Measure theory

Part A Simulation and Statistical Programming HT 2015 Problem Sheet 1 due Week 3 Tuesday 10am at SPR1 1. Consider the family of distributions with probability density function (pdf) fµ,λ (x) = λ exp (−2λ |x − µ|

Add to Reading List

Source URL: www.stats.ox.ac.uk

Language: English - Date: 2015-01-20 12:30:03
816Realism in international relations / Daniel Deudney / Realism / English school of international relations theory / Kenneth Waltz / Complex interdependence / Neorealism in international relations / Democratic peace theory / Security dilemma / International relations theory / International relations / International security

COPYRIGHT NOTICE: Daniel H. Deudney: Bounding Power is published by Princeton University Press and copyrighted, © 2006, by Princeton University Press. All rights reserved. No part of this book may be reproduced in any f

Add to Reading List

Source URL: press.princeton.edu

Language: English - Date: 2006-10-02 11:48:22
817Type theory / Functional languages / Lambda calculus / Data types / Lisp programming language / Racket / System F / Type system / Typed lambda calculus / Software engineering / Programming language theory / Computing

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Add to Reading List

Source URL: samth.github.io

Language: English - Date: 2015-04-01 12:20:12
818Computational neuroscience / Mind / Nervous system / Networks / Hopfield network / Attractor network / Hebbian theory / Artificial neural network / Synaptic plasticity / Neural networks / Neuroscience / Biology

Inhibitory unlearning: a mechanism for increasing the storage capacity in an attractor network Manzano, O.R.; Veredas, F.; GuillCn, M.J.; Vico, F.J.; Roman, J. Group of Studes in BiOmimelEcs Pmque Tecnoi3gico de Analaluc

Add to Reading List

Source URL: geb.uma.es

Language: English - Date: 2012-09-06 08:14:52
819NP-complete problems / Set cover problem / Randomized algorithm / Theoretical computer science / Computational complexity theory / Mathematics

Hardness of Set Cover with Interse tion 1 V.S.Anil Kumar1 , Sunil Arya2 and H.Ramesh3 MPI fur Informatik, Saarbru ken. kumarmpi-sb.mpg.de Department of Computer S ien e, Hong Kong University of S ien e and Te hnology.

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2006-04-04 10:28:02
820Quantum field theory / Gamma-ray burst / Primordial black hole / Gamma ray / Photon / Physics / Black holes / Hawking radiation

”ˆ‡ˆŠ ‹…Œ…’›• —‘’ˆ– ˆ ’Œƒ Ÿ„ 2015. ’. 46. ‚›. 2 EXPERIMENTAL SEARCH FOR EVAPORATING PRIMORDIAL BLACK HOLES V. B. Petkov∗

Add to Reading List

Source URL: www1.jinr.ru

Language: English - Date: 2015-04-06 05:08:59
UPDATE