587 search results - page 100 / 118 » Quantum computation and quantum information |
IJMMS
2000
13 years 9 months ago
2000
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
ENTCS
2007
13 years 9 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
IJON
2006
13 years 9 months ago
2006
in vitro neuronal networks display Synchronized Bursting Events (SBEs), with characteristic temporal width of 100-500 ms and frequency of once every few seconds. We analyze such d...
SODA
2010
ACM
14 years 7 months ago
2010
ACM
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
A new multi-purpose LightWeight Grid system (LWG) is introduced, under the acronym CoBRA grid (Computational Basic Reprogrammable Adaptive grid). It provides the functionality gri...