<--- Back to Details
First PageDocument Content
AC / Circuit complexity
Date: 2013-06-03 10:26:46
AC
Circuit complexity

Add to Reading List

Source URL: www.smithfieldri.com

Download Document from Source Website

File Size: 1,02 MB

Share Document on Facebook

Similar Documents

I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

DocID: 1xW3e - View Document

Algebra / Mathematics / Convex geometry / Linear algebra / Convex analysis / Convex cone / Abstract interpretation / Octahedron / Polyhedron / Linear programming / Linear inequality / Convex set

Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

DocID: 1xW2M - View Document

Mathematics / Algebra / Abstract algebra / Distribution / Number theory / Valuation / Universal property / BorelKolmogorov paradox

LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

DocID: 1xW2u - View Document

Mathematics / Mathematical analysis / Mathematical logic / Boolean algebra / Experiment / Measure theory / Sigma-algebra / Symbol / Lie algebras / Moschovakis coding lemma / Generalised Whitehead product

Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera

DocID: 1xW2m - View Document

Graph theory / Dimension / Isoperimetric dimension / Mathematical analysis / Cheeger constant / Planar graph / Vertex-transitive graph / Expander graph / Graph / Connectivity / Regular graph / End

Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notions

DocID: 1xW27 - View Document