Complexity

Results: 8084



#Item
561Theoretical computer science / Automated planning and scheduling / Logic in computer science / Mathematics / Computational complexity theory / Boolean algebra / Electronic design automation / Formal methods / Boolean satisfiability problem / Maximum satisfiability problem / Planning Domain Definition Language / Satz

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-19 04:29:26
562Electronic engineering / Engineering / Digital electronics / Electromagnetism / Circuit complexity / Digital systems / Logic gates / Color space / Flip-flop / Metastability in electronics / RGB color model / Gray code

Efficient Metastability-Containing Gray Code 2-Sort Christoph Lenzen∗ ∗ Max Moti Medina∗

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-03-22 07:56:19
563Computing / Technology / Academia / Distributed computing / Systems / Computer architecture / Scalability / Routing / Internet / Theoretical computer science / Scott Shenker / Complexity

Incentives and Internet Algorithms Joan Feigenbaum Yale University http://www.cs.yale.edu/~jf

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2004-06-08 06:15:27
564Mathematics / Search algorithms / Information retrieval / Information science / Hashing / Analysis of algorithms / Cryptographic hash functions / Computational complexity theory / Universal hashing / Hash function / Randomized algorithm / Subset sum problem

Space-Efficient Randomized Algorithms for K-SUM Joshua R. Wang Stanford University, Stanford CA 94305, USA

Add to Reading List

Source URL: web.stanford.edu

Language: English - Date: 2014-04-18 04:16:48
565Computational complexity theory / Theory of computation / Analysis of algorithms / Operations research / Scheduling / Algorithm / Mathematical logic / Theoretical computer science / Time complexity / NC / Job shop scheduling

Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-01-03 06:45:57
566Mathematical analysis / Mathematics / Statistics / Circuit complexity / NC / Normal distribution / Polynomials / Bessel function / Table of stars with Bayer designations

PDF Document

Add to Reading List

Source URL: www.math.csi.cuny.edu

Language: English - Date: 2009-05-03 17:59:05
567Cryptography / Computing / Computational complexity theory / Proof of knowledge / IP / Distribution / Challengeresponse authentication / Communications protocol / ZK / Zero-knowledge proof

Cryptographic Protocols Spring 2015 Slides for Chapter1 (part 2) Definition of zero-knowledge (ZK)

Add to Reading List

Source URL: www.crypto.ethz.ch

Language: English - Date: 2015-03-06 05:37:28
568Multi-agent systems / Artificial life / Simulation / Scientific modeling / Academia / Systems science / Computing / Complex systems theory / Agent-based model / Social simulation / MASON / Swarm behaviour

MASON: A New Multi-Agent Simulation Toolkit Sean Luke, Claudio Cioffi-Revilla, Liviu Panait, and Keith Sullivan Department of Computer Science and Center for Social Complexity George Mason University 4400 University Driv

Add to Reading List

Source URL: cs.gmu.edu

Language: English - Date: 2005-02-21 13:23:31
569Analysis of algorithms / Computational complexity theory / Theory of computation / Mathematics / Balls into bins / With high probability / Sorting algorithm / Leader election / Time complexity / Entropy / Best /  worst and average case / Big O notation

Tight Bounds for Parallel Randomized Load Balancing [Extended Abstract] ∗ Christoph Lenzen

Add to Reading List

Source URL: disco.ethz.ch

Language: English - Date: 2014-09-26 08:36:31
570Analysis of algorithms / Probabilistic complexity theory / Randomized algorithm / FO / Mathematics / Computer science / Theoretical computer science / Analytic geometry

Pipes, Cigars, and Kreplach: The Union of Minkowski Sums in Three Dimensions Pankaj K. Agarwaly Micha Sharirz

Add to Reading List

Source URL: www.math.tau.ac.il

Language: English - Date: 2012-06-29 10:27:51
UPDATE