ヘルプ
ヘルプ

検索結果 812 件

Journal of the ACM

Journal of the ACM
紙雑誌
Association for Computing Machinery<Z53-A257>
国立国会図書館
  •  
  •  
  •  
  •  
  •  
    •  

Universally Composable Security

Universally Composable Security
デジタル記事
2020-09-16Journal of the ACM67 5p.1-94
全国の図書館
  • 掲載誌（ISSN）00045411

A Proof of the CSP Dichotomy Conjecture

A Proof of the CSP Dichotomy Conjecture
デジタル記事
2020-08-26Journal of the ACM67 5p.1-78
全国の図書館
  • 掲載誌（ISSN）00045411

Forcing and Calculi for Hybrid Logics

pdfを表すアイコン
デジタル記事
Gaina Daniel MirceaAssociation for Computing Machinery2020-08-06Journal of the ACM67 4p.1-55
インターネットで読める全国の図書館

Forcing and Calculi for Hybrid Logics

Forcing and Calculi for Hybrid Logics
デジタル記事
2020-08-06Journal of the ACM67 4p.1-55
全国の図書館
  • 掲載誌（ISSN）00045411

A Simpler and Faster Strongly Polynomial Algorithm for Generalized Flow Maximization

A Simpler and Faster Strongly Polynomial Algorithm for Generalized Flow Maximization
デジタル記事
2020-04-17Journal of the ACM67 2p.1-26
全国の図書館
  • 掲載誌（ISSN）00045411

Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded Space

Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded Space
デジタル記事
2020-01-15Journal of the ACM67 1p.1-54
全国の図書館
  • 掲載誌（ISSN）00045411

Tight Bounds for Undirected Graph Exploration with Pebbles and Multiple Agents

Tight Bounds for Undirected Graph Exploration with Pebbles and Multiple Agents
デジタル記事
2019-10-16Journal of the ACM66 6p.1-41
全国の図書館
  • 掲載誌（ISSN）00045411

Index Reduction for Differential-algebraic Equations with Mixed Matrices

Index Reduction for Differential-algebraic Equations with Mixed Matrices
デジタル記事
2019-07-20Journal of the ACM66 5p.1-34
全国の図書館
  • 掲載誌（ISSN）00045411

Near Optimal Online Algorithms and Fast Approximation Algorithms for Resource Allocation Problems

Near Optimal Online Algorithms and Fast Approximation Algorithms for Resource Allocation Problems
デジタル記事
2019-01-09Journal of the ACM66 1p.1-41
全国の図書館
  • 掲載誌（ISSN）00045411

Deterministic Edge Connectivity in Near-Linear Time

Deterministic Edge Connectivity in Near-Linear Time
デジタル記事
2018-12-12Journal of the ACM66 1p.1-50
全国の図書館
  • 掲載誌（ISSN）00045411

Shuffles and Circuits (On Lower Bounds for Modern Parallel Computation)

Shuffles and Circuits (On Lower Bounds for Modern Parallel Computation)
デジタル記事
2018-11-22Journal of the ACM65 6p.1-24
全国の図書館
  • 掲載誌（ISSN）00045411

Indistinguishability Obfuscation from Functional Encryption

Indistinguishability Obfuscation from Functional Encryption
デジタル記事
2018-11-19Journal of the ACM65 6p.1-37
全国の図書館
  • 掲載誌（ISSN）00045411

Subcubic Equivalences Between Path, Matrix, and Triangle Problems

Subcubic Equivalences Between Path, Matrix, and Triangle Problems
デジタル記事
2018-08-29Journal of the ACM65 5p.1-38
全国の図書館
  • 掲載誌（ISSN）00045411

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
デジタル記事
2018-08-29Journal of the ACM65 5p.1-68
全国の図書館
  • 掲載誌（ISSN）00045411

Non-Malleable Codes

Non-Malleable Codes
デジタル記事
2018-04-26Journal of the ACM65 4p.1-32
全国の図書館
  • 掲載誌（ISSN）00045411

Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable

Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable
デジタル記事
2018-04-12Journal of the ACM65 4p.1-30
全国の図書館
  • 掲載誌（ISSN）00045411

Spectral Properties of Hypergraph Laplacian and Approximation Algorithms

Spectral Properties of Hypergraph Laplacian and Approximation Algorithms
デジタル記事
2018-03-05Journal of the ACM65 3p.1-48
全国の図書館
  • 掲載誌（ISSN）00045411

The Applied Pi Calculus

The Applied Pi Calculus
デジタル記事
2017-10-26Journal of the ACM65 1p.1-41
全国の図書館
  • 掲載誌（ISSN）00045411

Communication Steps for Parallel Query Processing

Communication Steps for Parallel Query Processing
デジタル記事
2017-10-14Journal of the ACM64 6p.1-58
全国の図書館
  • 掲載誌（ISSN）00045411