F-theory

Results: 2982



#Item
761Complexity classes / Mathematical optimization / Structural complexity theory / NP-complete problems / Parameterized complexity / NP-complete / P versus NP problem / NP / FO / Theoretical computer science / Computational complexity theory / Applied mathematics

A Parameterized Complexity Analysis of Combinatorial Feature Selection Problems? Vincent Froese, Ren´e van Bevern, Rolf Niedermeier, and Manuel Sorge Institut f¨ ur Softwaretechnik und Theoretische Informatik, TU Berli

Add to Reading List

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

Language: English - Date: 2013-06-19 10:42:56
762Axiom / Algebraic structures / Daly / Monoid / Monad / Rage / Category theory / Abstract algebra / Algebra

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2014-07-28 17:29:50
763Quantum field theory / Statistical mechanics / Distribution / Functional analysis / Renormalization group / Function / Mathematical analysis / Mathematics / Physics

Hadronic Physics 08 — Triest, MayJet correlations from unintegrated parton distributions F. Hautmann (Oxford/CERN) I. Motivation: multiparticle production in high-energy hadron collisions

Add to Reading List

Source URL: www.pg.infn.it

Language: English - Date: 2008-07-16 08:50:41
764Mathematics / Proof theory / Lambda calculus / Type theory / Natural deduction / Symbol / Entailment / System F / Curry–Howard correspondence / Logic / Mathematical logic / Deduction

Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems Koji Nakazawa∗ Makoto Tatsuta†

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2011-06-03 17:31:32
765Curves / Trigonometry / Axiom / Group theory / Polar coordinate system / Function / Trigonometric functions / Ellipse / Differential geometry of curves / Mathematics / Algebra / Geometry

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2014-07-28 17:37:32
766Abstract algebra / Society for Industrial and Applied Mathematics / Macdonald polynomials / Special functions / Classical orthogonal polynomials / Chebyshev polynomials / Hermite polynomials / Kravchuk polynomials / Approximation theory / Orthogonal polynomials / Mathematical analysis / Mathematics

  O P - S F N E T - Volume 19, Number 2 – March 15, 2012 Editors: Diego Dominici Martin Muldoon

Add to Reading List

Source URL: staff.fnwi.uva.nl

Language: English - Date: 2012-03-19 06:52:38
767Futurology / International relations theory / Peace / Peter D. Feaver / Peace and conflict studies / Social philosophy / Political science / Year of birth missing / Democratic peace theory

Christopher Gelpi Chair of Peace Studies & Conflict Resolution Mershon Center for International Security Studies Professor of Political Science Christopher F. Gelpi

Add to Reading List

Source URL: politicalscience.osu.edu

Language: English - Date: 2014-02-07 02:07:19
768Structuralism / Philosophy of sexuality / Continental philosophy / Philosophy / Social philosophy / Sinthome / The Symbolic / The Imaginary / Jouissance / Jacques Lacan / Psychoanalytic theory / Poststructuralism

O f m y t h ic p ro p o rtion : a commenta ry on p r esence and time b y K ate B r iggs T

Add to Reading List

Source URL: www.kallirolfecontemporaryart.com

Language: English - Date: 2015-01-28 22:34:03
769Structure / Nature / Cybernetics / Abstraction / Complexity / Complex system / Complex adaptive system / Computational complexity theory / Narrative / Systems / Science / Complex systems theory

Narratives and transdisciplines for a post-industrial world. T. F. H. Allen (University of Wisconsin, Madison, USA) and Mario Giampietro (INRAN, Italy)

Add to Reading List

Source URL: isss.org

Language: English - Date: 2005-09-13 14:34:58
UPDATE