93 research outputs found
ISML: an interface specification meta-language
In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed
Recommended from our members
Lookback option pricing using the Fourier transform B-spline method
We derive a new, efficient closed-form formula approximating the price of discrete lookback options, whose underlying asset price is driven by an exponential semimartingale process, which includes (jump) diffusions, Lévy models, affine processes and other models. The derivation of our pricing formula is based on inverting the Fourier transform using B-spline approximation theory. We give an error bound for our formula and establish its fast rate of convergence to the true price. Our method provides lookback option prices across the quantum of strike prices with greater efficiency than for a single strike price under existing methods. We provide an alternative proof to the Spitzer formula for the characteristic function of the maximum of a discretely observed stochastic process, which yields a numerically efficient algorithm based on convolutions. This is an important result which could have a wide range of applications in which the Spitzer formula is utilized. We illustrate the numerical efficiency of our algorithm by applying it in pricing fixed and floating discrete lookback options under Brownian motion, jump diffusion models, and the variance gamma process
Treatment of post-cholecystectomy biliary strictures with fully-covered self-expanding metal stents - results after 5 years of follow-up
BACKGROUND: Endoscopic treatment of post-cholecystectomy biliary strictures (PCBS) with multiple plastic biliary stents placed sequentially is a minimally invasive alternative to surgery but requires multiple interventions. Temporary placement of a single fully-covered self-expanding metal stent (FCSEMS) may offer safe and effective treatment with fewer re-interventions. Long-term effectiveness of treatment with FCSEMS to obtain PCBS resolution has not yet been studied. METHODS: In this prospective multi-national study in patients with symptomatic benign biliary strictures (N = 187) due to various etiologies received a FCSEMS with scheduled removal at 6-12 months and were followed for 5 years. We report here long-term outcomes of the subgroup of patients with PCBS (N = 18). Kaplan Meier analyses assessed long-term freedom from re-stenting. Adverse events were documented. RESULTS: Endoscopic removal of the FCSEMS was achieved in 83.3% (15/18) of patients after median indwell of 10.9 (range 0.9-13.8) months. In the remaining 3 patients (16.7%), the FCSEMS spontaneously migrated and passed without complications. At the end of FCSEMS indwell, 72% (13/18) of patients had stricture resolution. At 5 years after FCSEMS removal, 84.6% (95% CI 65.0-100.0%) of patients who had stricture resolution at FCSEMS removal remained stent-free. In addition, at 75 months after FCSEMS placement, the probability of remaining stent-free was 61.1% (95% CI 38.6-83.6%) for all patients. Stent or removal related serious adverse events occurred in 38.9% (7/18) all resolved without sequalae. CONCLUSIONS: In patients with symptomatic PCBS, temporary placement of a single FCSEMS intended for 10-12 months indwell is associated with long-term stricture resolution up to 5 years. Temporary placement of a single FCSEMS may be considered for patients with PCBS not involving the main hepatic confluence. TRIAL REGISTRATION NUMBERS: NCT01014390; CTRI/2012/12/003166; Registered 17 November 2009
About Bianchi I with VSL
In this paper we study how to attack, through different techniques, a perfect
fluid Bianchi I model with variable G,c and Lambda, but taking into account the
effects of a -variable into the curvature tensor. We study the model under
the assumption,div(T)=0. These tactics are: Lie groups method (LM), imposing a
particular symmetry, self-similarity (SS), matter collineations (MC) and
kinematical self-similarity (KSS). We compare both tactics since they are quite
similar (symmetry principles). We arrive to the conclusion that the LM is too
restrictive and brings us to get only the flat FRW solution. The SS, MC and KSS
approaches bring us to obtain all the quantities depending on \int c(t)dt.
Therefore, in order to study their behavior we impose some physical
restrictions like for example the condition q<0 (accelerating universe). In
this way we find that is a growing time function and Lambda is a decreasing
time function whose sing depends on the equation of state, w, while the
exponents of the scale factor must satisfy the conditions
and
, i.e. for all equation of state relaxing in this way the
Kasner conditions. The behavior of depends on two parameters, the equation
of state and a parameter that controls the behavior of
therefore may be growing or decreasing.We also show that through
the Lie method, there is no difference between to study the field equations
under the assumption of a var affecting to the curvature tensor which the
other one where it is not considered such effects.Nevertheless, it is essential
to consider such effects in the cases studied under the SS, MC, and KSS
hypotheses.Comment: 29 pages, Revtex4, Accepted for publication in Astrophysics & Space
Scienc
Bianchi II with time varying constants. Self-similar approach
We study a perfect fluid Bianchi II models with time varying constants under
the self-similarity approach. In the first of the studied model, we consider
that only vary and The obtained solution is more general that
the obtained one for the classical solution since it is valid for an equation
of state while in the classical solution
Taking into account the current observations, we conclude
that must be a growing time function while is a positive
decreasing function. In the second of the studied models we consider a variable
speed of light (VSL). We obtain a similar solution as in the first model
arriving to the conclusions that must be a growing time function if
is a positive decreasing function.Comment: 10 pages. RevTeX
Non-AIDS defining cancers in the D:A:D Study-time trends and predictors of survival : a cohort study
BACKGROUND:Non-AIDS defining cancers (NADC) are an important cause of morbidity and mortality in HIV-positive individuals. Using data from a large international cohort of HIV-positive individuals, we described the incidence of NADC from 2004-2010, and described subsequent mortality and predictors of these.METHODS:Individuals were followed from 1st January 2004/enrolment in study, until the earliest of a new NADC, 1st February 2010, death or six months after the patient's last visit. Incidence rates were estimated for each year of follow-up, overall and stratified by gender, age and mode of HIV acquisition. Cumulative risk of mortality following NADC diagnosis was summarised using Kaplan-Meier methods, with follow-up for these analyses from the date of NADC diagnosis until the patient's death, 1st February 2010 or 6 months after the patient's last visit. Factors associated with mortality following NADC diagnosis were identified using multivariable Cox proportional hazards regression.RESULTS:Over 176,775 person-years (PY), 880 (2.1%) patients developed a new NADC (incidence: 4.98/1000PY [95% confidence interval 4.65, 5.31]). Over a third of these patients (327, 37.2%) had died by 1st February 2010. Time trends for lung cancer, anal cancer and Hodgkin's lymphoma were broadly consistent. Kaplan-Meier cumulative mortality estimates at 1, 3 and 5 years after NADC diagnosis were 28.2% [95% CI 25.1-31.2], 42.0% [38.2-45.8] and 47.3% [42.4-52.2], respectively. Significant predictors of poorer survival after diagnosis of NADC were lung cancer (compared to other cancer types), male gender, non-white ethnicity, and smoking status. Later year of diagnosis and higher CD4 count at NADC diagnosis were associated with improved survival. The incidence of NADC remained stable over the period 2004-2010 in this large observational cohort.CONCLUSIONS:The prognosis after diagnosis of NADC, in particular lung cancer and disseminated cancer, is poor but has improved somewhat over time. Modifiable risk factors, such as smoking and low CD4 counts, were associated with mortality following a diagnosis of NADC
Factors Associated with Revision Surgery after Internal Fixation of Hip Fractures
Background: Femoral neck fractures are associated with high rates of revision surgery after management with internal fixation. Using data from the Fixation using Alternative Implants for the Treatment of Hip fractures (FAITH) trial evaluating methods of internal fixation in patients with femoral neck fractures, we investigated associations between baseline and surgical factors and the need for revision surgery to promote healing, relieve pain, treat infection or improve function over 24 months postsurgery. Additionally, we investigated factors associated with (1) hardware removal and (2) implant exchange from cancellous screws (CS) or sliding hip screw (SHS) to total hip arthroplasty, hemiarthroplasty, or another internal fixation device. Methods: We identified 15 potential factors a priori that may be associated with revision surgery, 7 with hardware removal, and 14 with implant exchange. We used multivariable Cox proportional hazards analyses in our investigation. Results: Factors associated with increased risk of revision surgery included: female sex, [hazard ratio (HR) 1.79, 95% confidence interval (CI) 1.25-2.50; P = 0.001], higher body mass index (fo
- …