Εμφανίζονται 21 - 40 Αποτελέσματα από 50 για την αναζήτηση '"circuit complexity"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 21
    Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Sets -- Enumeration of reversible functions and its application to circuit complexity -- A finite…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… of Residue Classes and Uniform Circuit Complexity -- Quantum Probabilistic Dyadic Second-Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… step towards circuit complexity-theoretic analogs of Rice's theorem -- Model checking Real-Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Propositional Proofs in Frege and Extended Frege Systems -- Circuit Complexity Meets Ontology-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Algebras -- The Strength of the Besicovitch-Davies Theorem -- Circuit Complexity and Multiplicative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…, and Circuit Complexity -- Improved Approximation Algorithms for Maximum Graph Partitioning Problems Extended…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… for an analogue of Rice's Theorem in circuit complexity theory -- Two connections between Linear Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 28
    Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman /
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Is NP-Hard.- Proving Computational Ability -- On Constructing 1-1 One-Way Functions -- On the Circuit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Circuit Complexity of Sorting and Inverting k-tonic Sequences -- Robust Quantum Algorithms with ?-Biased…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    STACS 2001 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- On the Circuit Complexity of Random Generation Problems for Regular and Context-Free Languages -- Efficient…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 31
    STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Discrete Temporal Properties -- Complexity 1 -- Circuit Complexity of Testing Square-Free Numbers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 32
    Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… to Model Checking -- Arithmetic Constant-Depth Circuit Complexity Classes -- Inverse NP Problems -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 33
    Realization of non-integer-order impedances for interdisciplinary applications
    ανά Καλύβα, Παναγιώτα
    Έκδοση 2022
    “… operators, the passive component count and by extension the circuit complexity is reduced significantly…”
    Λήψη πλήρους κειμένου
  14. 34
    Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for ?-Definability with Applications to Computable Analysis -- Circuit Complexity of Regular Languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 35
    Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Well-Mixed Function with Circuit Complexity 5n ±o(n): Tightness of the Lachish-Raz-Type Bounds -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 36
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Given Degrees -- Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    DNA Computing 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Nucleation for Algorithmic Self-assembly -- DNA Hybridization Catalysts and Catalyst Circuits -- Complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Not? -- Theoretical Aspects of Evolutionary Algorithms -- Algebraic and Circuit Complexity -- Improvements…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Computing and Combinatorics 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Theory and Learning -- On the Negation-Limited Circuit Complexity of Merging -- Super-Polynomial Versus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 40
    Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- On the Monotone Circuit Complexity of Quadratic Boolean Functions -- Generalized Function Matching -- Approximate…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email