96 resultados para Partial Order Semantics


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dynamic, unanticipated adaptation of running systems is of interest in a variety of situations, ranging from functional upgrades to on-the-fly debugging or monitoring of critical applications. In this paper we study a particular form of computational reflection, called unanticipated partial behavioral reflection, which is particularly well-suited for unanticipated adaptation of real-world systems. Our proposal combines the dynamicity of unanticipated reflection, i.e. reflection that does not require preparation of the code of any sort, and the selectivity and efficiency of partial behavioral reflection. First, we propose unanticipated partial behavioral reflection which enables the developer to precisely select the required reifications, to flexibly engineer the metalevel and to introduce the meta behavior dynamically. Second, we present a system supporting unanticipated partial behavioral reflection in Squeak Smalltalk, called Geppetto, and illustrate its use with a concrete example of a web application. Benchmarks validate the applicability of our proposal as an extension to the standard reflective abilities of Smalltalk.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Osteotomy and revascularization have both been used for many years in the therapy of partial aseptic necrosis of the femoral head in the adult. We first attempted a combination of the two techniques in 1978. Stress on the necrotic sector was relieved by intertrochanteric osteotomy, and the necrotic part of the bone was revascularized with a pedicled iliac crest bone graft based on the deep circumflex iliac vessels. Long-term results are now available in 45 hips in 38 patients, with a mean follow-up time of 32 months. Clinically, 71% of the hips were rated very good or good, and among those classed as stage II before surgery the results were rated as very good or good in as many as 90%. Subjective evaluation of the hips by the patients confirmed these results: 85% of the hips were judged to be optimal or markedly improved compared with before operation. Radiological evaluation showed further flattening of the femoral head in one case. A segmental collapse of the femoral head, i.e. stage III lesion according to Ficat, occurred in 2 hips with stage II preoperatively. In 6 hips with stage III necrosis preoperatively secondary arthritis developed. Computerized tomograms taken of all 25 hips from which metal implants had been removed showed signs of integration of the graft in 68%. Scintigraphy with 99-Tc-diphosphonate showed a homogeneous uptake in 42.8% and a non-homogeneous uptake in the remaining 57.2% of the cases. So-called photopenia was not observed in any of the hip joints treated.(ABSTRACT TRUNCATED AT 250 WORDS)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this article we propose an exact efficient simulation algorithm for the generalized von Mises circular distribution of order two. It is an acceptance-rejection algorithm with a piecewise linear envelope based on the local extrema and the inflexion points of the generalized von Mises density of order two. We show that these points can be obtained from the roots of polynomials and degrees four and eight, which can be easily obtained by the methods of Ferrari and Weierstrass. A comparative study with the von Neumann acceptance-rejection, with the ratio-of-uniforms and with a Markov chain Monte Carlo algorithms shows that this new method is generally the most efficient.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We introduce and analyze hp-version discontinuous Galerkin (dG) finite element methods for the numerical approximation of linear second-order elliptic boundary-value problems in three-dimensional polyhedral domains. To resolve possible corner-, edge- and corner-edge singularities, we consider hexahedral meshes that are geometrically and anisotropically refined toward the corresponding neighborhoods. Similarly, the local polynomial degrees are increased linearly and possibly anisotropically away from singularities. We design interior penalty hp-dG methods and prove that they are well-defined for problems with singular solutions and stable under the proposed hp-refinements. We establish (abstract) error bounds that will allow us to prove exponential rates of convergence in the second part of this work.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The goal of this paper is to establish exponential convergence of $hp$-version interior penalty (IP) discontinuous Galerkin (dG) finite element methods for the numerical approximation of linear second-order elliptic boundary-value problems with homogeneous Dirichlet boundary conditions and piecewise analytic data in three-dimensional polyhedral domains. More precisely, we shall analyze the convergence of the $hp$-IP dG methods considered in [D. Schötzau, C. Schwab, T. P. Wihler, SIAM J. Numer. Anal., 51 (2013), pp. 1610--1633] based on axiparallel $\sigma$-geometric anisotropic meshes and $\bm{s}$-linear anisotropic polynomial degree distributions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We have recently derived a factorization formula for the Higgs-boson production cross section in the presence of a jet veto, which allows for a systematic resummation of large Sudakov logarithms of the form αn s lnm(pveto T /mH), along with the large virtual corrections known to affect also the total cross section. Here we determine the ingredients entering this formula at two-loop accuracy. Specifically, we compute the dependence on the jet-radius parameter R, which is encoded in the two-loop coefficient of the collinear anomaly, by means of a direct, fully analytic calculation in the framework of soft-collinear effective theory. We confirm the result obtained by Banfi et al. from a related calculation in QCD, and demonstrate that factorization-breaking, soft-collinear mixing effects do not arise at leading power in pveto T /mH, even for R = O(1). In addition, we extract the two-loop collinear beam functions numerically. We present detailed numerical predictions for the jet-veto cross section with partial next-to-next-to-next-to-leading logarithmic accuracy, matched to the next-to-next-to-leading order cross section in fixed-order perturbation theory. The only missing ingredients at this level of accuracy are the three-loop anomaly coefficient and the four-loop cusp anomalous dimension, whose numerical effects we estimate to be small.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We demonstrate that the IAT is crucially influenced by the order in which the two IAT-blocks are administered. In three studies the IAT-effect is shown to change in magnitude and sign when the order of the ‘compatible’ and the ‘incompatible’ block is reversed. Order effects are caused by cognitive inertia, the difficulty to switch from one categorization rule to another categorization rule. Cognitive inertia distorts correlations between IAT-scores and other variables. While the common practice of counterbalancing block-order between-subjects does not cancel out these distortions, we show in study 4 that counterbalancing block-order repeatedly within-subjects can eliminate order effects.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Comparing the treatment of Islamic veils and Christian crucifixes by the European Court of Human Rights, this paper re-examines the charge of “double standards” on the part of this guardian of the European legal order, which is seen as disadvantaging Islam and favoring Christianity. While this is proved partially correct, the paper calls for a more differentiated treatment of the issue. For one, there is a modicum of consistency in the European Court’s decisions, because they are all meant to further “pluralism”. Only, Islam and Christianity fare differently in this respect, as “threat” to and “affirmation” of pluralism, respectively. This distinction hinges on Islam’s compatibility with the liberal-secular order, on which the jury is out. A possible way out of the “pluralism v. pluralism” dilemma, I argue, is signaled in the European Court’s recent decision in Lautsi v. Italy (2011), which pairs a preference for “culturalized” Christianity with robust minority pluralism.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

PURPOSE To analyse the clinical outcome after salvage lumpectomy and multi-catheter brachytherapy (MCB) for ipsilateral breast tumour recurrence (IBTR). MATERIAL AND METHODS Between 09/00 and 09/10, 217 patients presenting an IBTR underwent lumpectomy and MCB (low, pulsed, or high-dose rate). Survival rates without second local recurrence (2nd LR), distant metastasis (DM), and overall survival (OS) were analysed as well as late effects and cosmetic results. Univariate and multivariate analyses (MVA) based on IBTR data were performed to find prognostic factors for 2nd LR, DM, and OS. RESULTS Median follow-up after the IBTR was 3.9 years [range: 1.1-10.3]. Five and 10-year actuarial 2nd LR rates were 5.6% [range: 1.5-9.5] and 7.2% [range: 2.1-12.1], respectively. Five and 10-year actuarial DM rates were 9.6% [range: 5.7-15.2] and 19.1% [range: 7.8-28.3], respectively. Five and 10-year actuarial OS rates were 88.7% [range: 83.1-94.8] and 76.4% [range: 66.9-87.3], respectively. In MVA, histological grade was prognostic factor for 2nd LR (p=0.008) and OS (p=0.02); while tumour size was prognostic factor for DM (p=0.03). G3-4 complication rate was 11%. Excellent/good cosmetic result was achieved in 85%. CONCLUSION This study suggests that in case of IBTR, lumpectomy plus MCB is feasible and effective in preventing 2nd LR with an OS rate at least equivalent to those achieved with salvage mastectomy.