Complexity

Results: 8084



#Item
611Theoretical computer science / Computational complexity theory / Mathematics / Constraint programming / Numerical software / Automated theorem proving / DPLL algorithm / Packing problems / Solver / Constraint satisfaction / Reduction / Algorithm

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2008-12-04 03:03:05
612Computational complexity theory / Mathematics / Edsger W. Dijkstra / Graph theory / Algorithm / Mathematical logic / Theoretical computer science / Shortest path problem / NP / Dynamic programming

On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch

Add to Reading List

Source URL: webdb2011.rutgers.edu

Language: English - Date: 2011-05-31 18:17:42
613Mathematics / Mathematical logic / Science and technology / Theoretical computer science / Algorithm / Computational complexity theory / Mathematical optimization / Word problem / Algorithm characterizations

A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2004-09-27 01:19:28
614Information theory / Theoretical computer science / Randomness / Metaphysics / Knowledge / Algorithmic information theory / Thermodynamic entropy / Theory of computation / Complexity / Kolmogorov complexity / Algorithmic probability / Entropy

2 Complexity in the Universe Charles H. Bennett IBM Research Division, T . J. Watson Research Center Yorktown Heights, NYUSA.

Add to Reading List

Source URL: cqi.inf.usi.ch

Language: English - Date: 2014-02-18 12:20:16
615Biology / Genomics / Computational complexity theory / Bioinformatics / MAX-3SAT / Comparative genomics / Genome / Gene / Vertex cover

Genomes containing Duplicates are Hard to compare (Extended Abstract)? Cedric Chauve1 , Guillaume Fertin2 , Romeo Rizzi3 , and St´ephane Vialette4 ` Montr´eal LaCIM et D´epartement d’Informatique, Universit´e du Qu

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2009-07-03 08:57:00
616Algebraic geometry / Algebra / Geometry / Algebraic varieties / Algebraic surfaces / Chow coordinates / Abelian variety / Veronese surface / Degree of an algebraic variety / Polynomial / Zariski topology / Secant variety

EQUATIONS FOR CHOW VARIETIES, THEIR SECANT VARIETIES AND OTHER VARIETIES ARISING IN COMPLEXITY THEORY A Dissertation by YONGHUI GUAN

Add to Reading List

Source URL: www.math.tamu.edu

Language: English - Date: 2016-06-30 17:13:46
617Oceanography / Fisheries / Water / Physical geography / Aquatic ecology / Biological oceanography / Effects of global warming / Ocean acidification / Kelp forest / Coral reef / Ecosystem / Marine biology

BRETT SEYMOUR, NATIONAL PARK SERVICE EXPLORING THE COMPLEXITY OF OCEAN ACIDIFICATION

Add to Reading List

Source URL: cisanctuary.org

Language: English - Date: 2015-12-15 14:01:46
618Personality traits / Psychology / Personality / Openness to experience / Big Five personality traits / Conscientiousness / Facet / Trait theory / Agreeableness / Contextual performance / Revised NEO Personality Inventory / Affective events theory

OPENNESS TO EXPERIENCE AND WORK OUTCOMES: EXPLORING THE MODERATING EFFECTS OF CONSCIENTIOUSNESS AND JOB COMPLEXITY Gouri Mohan & Zubin R.Mulla Tata Institute of Social Sciences,Mumbai Abstract.This study investigated the

Add to Reading List

Source URL: www.greatlakes.edu.in

Language: English - Date: 2014-04-23 05:28:20
619Graph theory / Mathematics / Computational complexity theory / Morphisms / Graph coloring / Tree / Reduction / Isomorphism / Homomorphism / Grushko theorem

QCSP on partially reflexive forests Barnaby Martin? School of Engineering and Computing Sciences, Durham University Science Labs, South Road, Durham, DH1 3LE, UK

Add to Reading List

Source URL: www.bedewell.com

Language: English - Date: 2011-04-01 20:03:12
620Mathematics / Cryptography / Algebra / Permutations / Polynomials / Computational complexity theory / Proof of knowledge / IP / Permutation matrix / SchwartzZippel lemma / NP / Permutation

Proofs of Restricted Shuffles Bj¨ orn Terelius and Douglas Wikstr¨om CSC KTH Stockholm, Sweden {terelius,dog}@csc.kth.se

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2012-05-30 08:55:25
UPDATE