Results 1  10
of
838
XPath containment in the presence of disjunction, DTDs, and variables
 IN ICDT
, 2003
"... XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragments of XPath. In addition to the basic operations (child, descendant, filter, and wildcard), we consider disjunction, ..."
Abstract

Cited by 122 (9 self)
 Add to MetaCart
, DTDs and variables. W.r.t. variables we study two semantics: (1) the value of variables is given by an outer context; (2) the value of variables is defined existentially. We establish an almost complete classification of the complexity of the containment problem w.r.t. these fragments.
The evaluator effect: a chilling fact about usability evaluation methods
 Int. Journal of HumanComputer Interaction
"... Computer professionals have a need for robust, easytouse usability evaluation methods (UEMs) to help them systematically improve the usability of computer artifacts. However, cognitive walkthrough (CW), heuristic evaluation (HE), and thinking aloud study (TA)—3 of the most widely used UEMs—suffer ..."
Abstract

Cited by 128 (5 self)
 Add to MetaCart
with 1 evaluator as an authoritative statement about what problems an interface contains. Generally, the application of the UEMs is characterized by (a) vague goal analyses leading to variability in the task scenarios, (b) vague evaluation procedures leading to anchoring, or (c) vague problem criteria
Complexity of the Two Variable Fragment with Counting Quantifiers
"... Abstract The satisfiability and finite satisfiability problems for the twovariable fragment of firstorder logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly. Key words: two variable fragment, counting quantifiers, logic, complexity 1. Backgrou ..."
Abstract
 Add to MetaCart
. Background The two variable fragment with counting quantifiers, here denoted C2, is the set of functionfree, firstorder formulas containing at most two variables, but with the counting quantifiers 3<c, 3>c and 3=c (for every C> 0) allowed. The satisfiability problem, SatC2, is the problem
The carbon balance of tropical, temperate and boreal forests.
 Plant Cell and Environment,
, 1999
"... ABSTRACT Forest biomes are major reserves for terrestrial carbon, and major components of global primary productivity. The carbon balance of forests is determined by a number of component processes of carbon acquisition and carbon loss, and a small shift in the magnitude of these processes would ha ..."
Abstract

Cited by 102 (2 self)
 Add to MetaCart
emissions of CO 2 remains in the atmosphere. Between 1980, it is estimated (Schimel 1995) that 5·5 ± 0·5 Gt C year 1 were released through fossil fuel combustion and cement production, and 1·6 ± 1·0 Gt C year 1 through tropical deforestation, resulting in total anthropogenic emissions of 7·1 ± 1·1 Gt C
Indicators for Social and Economic Coping Capacity  Moving Toward a Working Definition of Adaptive Capacity”, WesleyanCMU Working Paper.
, 2001
"... Abstract This paper offers a practically motivated method for evaluating systems' abilities to handle external stress. The method is designed to assess the potential contributions of various adaptation options to improving systems' coping capacities by focusing attention directly on the u ..."
Abstract

Cited by 109 (14 self)
 Add to MetaCart
in defining the boundaries of coping ranges thresholds of relatively benign experience beyond which systems feel significant effects from change and/or variability in their environments. Section 2 uses a more formal representation of vulnerability to show how overall coping capacity might be judged
An invariant T cell receptor � chain is used by a unique subset of major histocompatibility complex class
 I–specific CD4� and CD4�8� T cells in
, 1994
"... The mouse thymus contains a mature T cell subset that is distinguishable from the mainstream thymocytes by several characteristics. It is restricted in its usage of T cell receptor (TCK) Vfl genes to V~8, V~7, and V~2. Its surface phenotype is that of activated/memory cells. It carries the natural k ..."
Abstract

Cited by 71 (6 self)
 Add to MetaCart
The mouse thymus contains a mature T cell subset that is distinguishable from the mainstream thymocytes by several characteristics. It is restricted in its usage of T cell receptor (TCK) Vfl genes to V~8, V~7, and V~2. Its surface phenotype is that of activated/memory cells. It carries the natural
Einstein metrics and complex singularities
 INVENT. MATH
, 2008
"... This paper is concerned with the construction of special metrics on noncompact 4manifolds which arise as resolutions of complex orbifold singularities. Our study is close in spirit to the construction of the hyperkähler gravitational instantons, but we focus on a different class of singularities ..."
Abstract

Cited by 40 (6 self)
 Add to MetaCart
. All the metrics constructed here are toric (that is, the isometry group contains a 2torus) and are essentially explicit. The key to the construction is the remarkable fact that toric selfdual Einstein metrics are given quite generally in terms of linear partial differential equations
Dumb money: Mutual fund flows and the cross section of stock returns,
 Journal of Financial Economics,
, 2008
"... We thank Nicholas Barberis and Judith Chevalier for helpful comments. We thank Breno Schmidt for research assistance. ABSTRACT We use mutual fund flows as a measure for individual investor sentiment for different stocks, and find that high sentiment predicts low future returns. Fund flows are dumb ..."
Abstract

Cited by 103 (4 self)
 Add to MetaCart
contain some information independent of each other. III. Regression results: Flows and returns A. Univariate relation between returns and flows We show the predictive power of flows, and for comparison we show several other variables that are related to flows, and which may have their own previously
Complex Ashtekar variables, the Kodama state and spinfoam gravity
"... Abstract. Starting from a Hamiltonian description of four dimensional general relativity in presence of a cosmological constant we perform the program of canonical quantisation. This is done using complex Ashtekar variables while keeping the Barbero–Immirzi parameter real. Introducing the SL(2,C) Ko ..."
Abstract
 Add to MetaCart
Abstract. Starting from a Hamiltonian description of four dimensional general relativity in presence of a cosmological constant we perform the program of canonical quantisation. This is done using complex Ashtekar variables while keeping the Barbero–Immirzi parameter real. Introducing the SL(2,C
Learning Juntas in the Presence of Noise
, 2005
"... The combination of two major challenges in machine learning is investigated: dealing with large amounts of irrelevant information and learning from noisy data. It is shown that large classes of Boolean concepts that depend on a small number of variablessocalled juntascan be learned eciently from ..."
Abstract
 Add to MetaCart
depending on d out of n variables, the sample complexity is polynomial in log(n=), 2d,
da, and 1 b, where is the condence parameter and
a;
b> 0 are noise parameters bounding the noise rates away from 1=2. The running time is bounded by the sample complexity times a polynomial in n. So far, all
Results 1  10
of
838