Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 473261
Image document

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?

Tomoyuki Yamakami
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.285-297, ⟨10.1007/978-3-030-23247-4_22⟩
Conference papers hal-02387305v1
Image document

State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis

Tomoyuki Yamakami
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.237-249, ⟨10.1007/978-3-319-94631-3_20⟩
Conference papers hal-01905627v1
Image document

Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)

Tomoyuki Yamakami
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.136-150, ⟨10.1007/978-3-662-44602-7_12⟩
Conference papers hal-01402038v1
Image document

Creating a Regional and Historical Streetscape Simulation System

Yasuo Kawai
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.456-459, ⟨10.1007/978-3-319-66715-7_62⟩
Conference papers hal-01771263v1