A Framework for Specifying and Monitoring User Tasks

Knowledge about user task execution can help systems better reason about when to interrupt users. To enable recognition and forecasting of task execution, we develop a novel framework for specifying and monitoring user task sequences. For task specification, our framework provides an XML-based language with tags inspired by regular expressions. For task monitoring, our framework provides an event handler that manages events from any instrumented application and a monitor that observes a user's transitions within and among specified tasks. The monitor supports multiple active tasks and multiple instances of the same task. The use of our framework will enable systems to consider a user's position within a task model when reasoning about when to interrupt

THE LACK OF A PROFIT MOTIVE FOR RANCHING: IMPLICATIONS FOR POLICY ANALYSIS

The economic impact of changing land-use policies has traditionally been estimated using the standard economic model of profit maximization. Ranchers are assumed to maximize profit and to adjust production strategies so as to continue maximizing profit with altered policies. Yet, nearly 30 years of research and observation have shown that family, tradition, and the desirable way of life are the most important factors in the ranch purchase decision - not profit. Ranch buyers want an investment they can touch, feel, and enjoy, and they historically have been willing to accept relatively low returns from the livestock production. Profit maximization appears to be an inadequate model for explaining rancher behavior, describing grazing land use, and estimating the impacts of altered public land policies. In this paper, we investigate the relative importance of livestock production income and desirable lifestyle attributes in determining the market value of western ranches, and we explore what this means for economic models and policy analysis.Agricultural and Food Policy, Land Economics/Use,

Critical power is positively related to skeletal muscle capillarity and type I muscle fibers in endurance trained individuals

The asymptote (critical power; CP) and curvature constant (W′) of the hyperbolic power duration relationship can predict performance within the severe-intensity exercise domain. However, the extent which these parameters relate to skeletal muscle morphology is less clear, particularly in endurance trained individuals who, relative to their lesser trained counterparts, possess skeletal muscles that can support high levels of oxygen transport and oxidative capacity i.e. elevated type I fiber proportion and cross-sectional area (CSA) and capillarity. Fourteen endurance trained males performed a maximal incremental test to determine peak oxygen uptake (V̇ O2peak; 63.2 ± 4.1 ml.min-1.kg-1), maximal aerobic power (406 ± 63 W), and 3-5 constant load tests to task failure for the determination of CP (303 ± 52 W) and W' (17.0 ± 3.0 kJ). Skeletal muscle biopsies were obtained from the vastus lateralis and analyzed for % fiber type proportion, CSA and indices of capillarity. CP was positively correlated with the % proportion (r = 0.79; P = 0.001) and CSA (r = 0.73; P =0.003) of type I fibers, capillary to fiber ratio (r = 0.88; P < 0.001) and capillary contacts around type I fibers (r = 0.94; P < 0.001) and type II fibers (r = 0.68; P = 0.008). W' was not correlated with any morphological variables. These data between CP and skeletal muscle capillarity. Our findings support the assertion that CP is an important parameter of aerobic function and offer novel insights into the physiological bases of CP

Composition profiles of InAs–GaAs quantum dots determined by medium-energy ion scattering

The composition profile along the [001] growth direction of low-growth-rate InAs–GaAs quantum dots (QDs) has been determined using medium-energy ion scattering (MEIS). A linear profile of In concentration from 100% In at the top of the QDs to 20% at their base provides the best fit to MEIS energy spectra

Clustering in 18O - absolute determination of branching ratios via high-resolution particle spectroscopy

The determination of absolute branching ratios for high-energy states in light nuclei is an important and useful tool for probing the underlying nuclear structure of individual resonances: for example, in establishing the tendency of an excited state towards α -cluster structure. Difficulty arises in measuring these branching ratios due to similarities in available decay channels, such as ( 18 O, n ) and ( 18 O, 2 n ), as well as differences in geometric efficiencies due to population of bound excited levels in daughter nuclei. Methods are presented using Monte Carlo techniques to overcome these issues

B_s->D_s/B->D Semileptonic Form-Factor Ratios and Their Application to BR(B^0_s->\mu^+\mu^-)

We calculate form-factor ratios between the semileptonic decays \bar{B}->D^+\ell^-\bar{\nu} and \bar{B}_s->D_s^+\ell^-\bar{\nu} with lattice QCD. These ratios are a key theoretical input in a new strategy to determine the fragmentation fractions of the neutral B decays, which are needed for measurements of BR(B^0_s-> \mu^+\mu^-). We use the MILC ensembles of gauge configurations with 2+1 flavors of sea quarks at two lattice spacings of approximately 0.12 fm and 0.09 fm. We use the model-independent z-parametrization to extrapolate our simulation results at small recoil toward maximum recoil. Our results for the form-factor ratios are $f_0^{(s)}(M^2_\pi)/f_0^{(d)}(M^2_K) =1.046(44)_{stat.}(15)_{syst.}$ and $f_0^{(s)}(M^2_\pi)/f_0^{(d)}(M^2_\pi)=1.054(47)_{stat.}(17)_{syst.}$. In contrast to a QCD sum-rule calculation, no significant departure from U-spin (ds) symmetry is observed.Comment: 30 pages, 11 figures. Fig. 1 updated. Table II added. Conforms with version published in Physical Review D, except typos fixed, as in the PRD Erratum, in Table V (previously Table IV in arXiv v1). Results unchange

Diagonally Neighbour Transitive Codes and Frequency Permutation Arrays

Constant composition codes have been proposed as suitable coding schemes to solve the narrow band and impulse noise problems associated with powerline communication. In particular, a certain class of constant composition codes called frequency permutation arrays have been suggested as ideal, in some sense, for these purposes. In this paper we characterise a family of neighbour transitive codes in Hamming graphs in which frequency permutation arrays play a central rode. We also classify all the permutation codes generated by groups in this family