Recipes for spin-based quantum computing
Technological growth in the electronics industry has historically been measured by the number of transistors that can be crammed onto
arxiv.orgrank this link
Refine results · kind
Good Good Things
4 indexed results
TCTL Inevitability Analysis of Dense-time Systems
Inevitability properties in branching temporal logics are of the syntax forall eventually φ, where φis an arbitrary (timed) CTL formula.
arxiv.orgrank this link
Cosmic Glows
This is the obligatory Cosmic Microwave Background review. I discuss the current status of CMB anisotropies, together with some points
arxiv.orgrank this link
A Comparison of the XTAG and CLE Grammars for English
When people develop something intended as a large broad-coverage grammar, they usually have a more specific goal in mind. Sometimes
arxiv.orgrank this link