Results 1  10
of
7,397
Ktheory for operator algebras
 Mathematical Sciences Research Institute Publications
, 1998
"... p. XII line5: since p. 12: I blew this simple formula: should be α = −〈ξ, η〉/〈η, η〉. p. 2 I.1.1.4: The RieszFischer Theorem is often stated this way today, but neither Riesz nor Fischer (who worked independently) phrased it in terms of completeness of the orthogonal system {e int}. If [a, b] is a ..."
Abstract

Cited by 558 (0 self)
 Add to MetaCart
p. XII line5: since p. 12: I blew this simple formula: should be α = −〈ξ, η〉/〈η, η〉. p. 2 I.1.1.4: The RieszFischer Theorem is often stated this way today, but neither Riesz nor Fischer (who worked independently) phrased it in terms of completeness of the orthogonal system {e int}. If [a, b
DART: Directed automated random testing
 In Programming Language Design and Implementation (PLDI
, 2005
"... We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static sourcecode parsing; (2) automatic generation of a test driver for this interface that performs ..."
Abstract

Cited by 843 (42 self)
 Add to MetaCart
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static sourcecode parsing; (2) automatic generation of a test driver for this interface
The Foundation of a Generic Theorem Prover
 Journal of Automated Reasoning
, 1989
"... Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operations constitute a metalogic (or `logical framework') in which the objectlogics are formalized. Isabell ..."
Abstract

Cited by 471 (48 self)
 Add to MetaCart
Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operations constitute a metalogic (or `logical framework') in which the objectlogics are formalized
Dualtask interference in simple tasks: Data and theory
 Psychological Bulletin
, 1994
"... People often have trouble performing 2 relatively simple tasks concurrently. The causes of this interference and its implications for the nature of attentional limitations have been controversial for 40 years, but recent experimental findings are beginning to provide some answers. Studies of the psy ..."
Abstract

Cited by 434 (12 self)
 Add to MetaCart
People often have trouble performing 2 relatively simple tasks concurrently. The causes of this interference and its implications for the nature of attentional limitations have been controversial for 40 years, but recent experimental findings are beginning to provide some answers. Studies
The Global Ozone Monitoring Experiment (GOME): Mission Concept and First Scientific Results
, 1999
"... . The Global Ozone Monitoring Experiment (GOME) is a new instrument aboard ESA's 2nd European Remote Sensing Satellite (ERS2) , which was launched in April 1995. The main scientific objective of the GOME mission is to determine the global distribution of ozone and several other trace gases, whi ..."
Abstract

Cited by 303 (67 self)
 Add to MetaCart
0.2nm and 0.4nm. Using the maximum 960 km acrosstrack swath width, the spatial resolution of a GOME ground pixel is 40\Theta320 km 2 for the majority of the orbit and global coverage is achieved in three days after 43 orbits. Operational data products of GOME as generated by DFD/DLR, the German
The stages of economic growth.
 Economic History Review , 2nd series 12,
, 1959
"... JSTOR is a notforprofit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about J ..."
Abstract

Cited by 297 (0 self)
 Add to MetaCart
or permit only onceover changein the variables most relevant to the process of economic growth. As modern economists have sought to merge classical production theory with Keynesian income analysis they have introduced the dynamic variables: population, technology, entrepreneurship, etc
Elementary Gates for Quantum Computation
, 1995
"... We show that a set of gates that consists of all onebit quantum gates (U(2)) and the twobit exclusiveor gate (that maps Boolean values (x, y)to(x, x⊕y)) is universal in the sense that all unitary operations on arbitrarily many bits n (U(2 n)) can be expressed as compositions of these gates. We in ..."
Abstract

Cited by 280 (11 self)
 Add to MetaCart
We show that a set of gates that consists of all onebit quantum gates (U(2)) and the twobit exclusiveor gate (that maps Boolean values (x, y)to(x, x⊕y)) is universal in the sense that all unitary operations on arbitrarily many bits n (U(2 n)) can be expressed as compositions of these gates. We
Novel highspeed and ultralowvoltage cmos nand and nor domino gates
 In CENICS 2012: The Fifth International Conference on Advances in Circuits, Electronics and Microelectronics
, 2012
"... Abstract—In this paper we present novel ultralowvoltage and highspeed CMOS NAND and NOR gates. For supply voltages below 500mV the delay for an ultralowvoltage NAND2 gate is approximately 10 % of a complementary CMOS inverter. Furthermore, the delay variations due to mismatch are much lesser th ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
than for conventional CMOS. Differential domino gates for AND2/NAND2 and OR2/NOR2 operation are presented. Ultralowvoltage pass transistors are presented which can be used as latching gates. The ultralowvoltage gates presented are going to be used for implementation of lowvoltage and high speed
The factorized Smatrix of CFT/AdS
, 2004
"... We argue that the recently discovered integrability in the largeN CFT/AdS system is equivalent to diffractionless scattering of the corresponding hidden elementary excitations. This suggests that, perhaps, the key tool for finding the spectrum of this system is neither the gauge theory’s dilatati ..."
Abstract

Cited by 240 (7 self)
 Add to MetaCart
dilatation operator nor the string sigma model’s quantum Hamiltonian, but instead the respective factorized Smatrix. To illustrate the idea, we focus on the closed fermionic su(11) sector of the N = 4 gauge theory. We introduce a new technique, the perturbative asymptotic Bethe ansatz, and use
A Subexponential Bound for Linear Programming
 ALGORITHMICA
, 1996
"... We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected min{O(d 2 2 d n),e 2 d ln(n / d)+O ( d+ln n)} time in the unit cost model (where we count the number of arithmetic operations on the numbers in the input); to be precise, the algorith ..."
Abstract

Cited by 185 (15 self)
 Add to MetaCart
We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected min{O(d 2 2 d n),e 2 d ln(n / d)+O ( d+ln n)} time in the unit cost model (where we count the number of arithmetic operations on the numbers in the input); to be precise
Results 1  10
of
7,397