3.6k citations
- Perimeter InstituteCA123 papers
- Massachusetts Institute of TechnologyUS27 papers
- Durham UniversityGB24 papers
- Stanford UniversityUS24 papers
- California Institute of TechnologyUS23 papers
- Centre National de la Recherche ScientifiqueFR23 papers
- University of British ColumbiaCA21 papers
- University of TorontoCA20 papers
- Harvard UniversityUS17 papers
- McMaster UniversityCA17 papers
- Canadian Institute for Advanced ResearchCA16 papers
- University of California, BerkeleyUS16 papers
113 papers · 1 filter
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subs…
The growth function of S-recognizable sets
Emilie Charlier, Narad Rampersad
A set is S-recognizable for an abstract numeration system S if the set $\rep_S(X)$ of its representations is accepted by a finite automaton. We show that the…
Mott Insulators in a Fully-Frustrated Bose Hubbard Model on the Honeycomb Lattice
Stephen Inglis, Roger G. Melko
We examine the effects of quantum fluctuations on a classical spin liquid state in the fully-frustrated honeycomb lattice Bose Hubbard model using quantum Monte Carlo simulations.…
Quantitative model for efficient temporal targeting of tumor cells and neovasculature
M. Kohandel, C. A. Haselwandter, M. Kardar +2
The combination of cytotoxic therapies and anti-angiogenic agents is emerging as a most promising strategy in the treatment of malignant tumors. However, the timing and sequencing…
Quotient Complexity of Star-Free Languages
Janusz Brzozowski, Bo Liu
The quotient complexity, also known as state complexity, of a regular language is the number of distinct left quotients of the language. The quotient complexity of an operation is…
Packing directed circuits exactly
Bertrand Guenin, Robin Thomas
We give an "excluded minor" and a "structural" characterization of digraphs D that have the property that for every subdigraph H of D, the maximum number of disjoint circuits in H…