This paper presents a Prefix Tree based model of Generation of Referring Expression (RE). Our algorithm PTBSGRE works in two phases. First, an encoded prefix tree is constructed describing the domain structure. Subsequently, RE is generated using that structure. We evaluated our system using Dice, MASI, Accuracy, Minimality and Uniqueness scoring method using standard TEVAl tool and the result ...

Herein we present a significant step towards next-generation disulfide stapling reagents. A novel class of reagent has been designed to effect both disulfide reduction and functional re-bridging. The strategy has been applied to great success across various peptides and proteins. Moreover, application to a multi-disulfide system resulted in functional re-bridging without disulfide scrambling.

The past few years have seen mobile operators transition to next-generation mobile networks, specifically from third-generation networks (3G) to long term evolution (LTE). This paper describes the basic architecture and topology of UMTS R4 core network and introduces two options in network planning, i.e., flat structure or layered structure. This paper introduces the re-homing of radio network ...

Recent studies on planning, comparing plan re-use and plan generation, have shown that both the above tasks may have the same degree of computational complexity, even if we deal with very similar problems.The aim of this paper is to show that the same kind of results apply also for diagnosis. We propose a theoretical complexity analysis coupled with some experimental tests, intended to evaluate...

BACKGROUND AND PURPOSE Very little has been published on the outcome of femoral cemented revisions using a third-generation cementing technique. We report the medium-term outcome of a consecutive series of patients treated in this way. PATIENTS AND METHODS This study included 92 consecutive cemented femoral revisions performed in our department with a third-generation cementing technique and ...

In this paper , we show t h a t Reileralion and Collocation re la t ions as in t roduced I)y I la l l iday and l lasan may func t ion as lexieally I)iased discourse s t ruc tu re re la t ions and t h a t these re la t ions are well represented by sequences of Mel '&flds Lexical Funclions (Ll,'s). We propose to use Lie sequences for tl,e final de te rminat ion and real izat ion of discourse o rg...

One of the potential bene ts of formal methods is that they o er the possibility of reducing the costs of testing. A speci cation acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated. There has therefore been interest in developing test generation techniques from formal speci cations, and a number of di erent methods have been...

There are high hopes and expectations in the potential of Net-Zero Energy Buildings (NZEB) to contribute to combat the adverse environmental effects from intensive human activity, including energy use. An important related question that has received insufficient attention and is therefore addressed in this study, is how NZEB equipped with renewable energy (RE) systems would perform in future cl...

Bounded model checking is among the most ecient techniques for the automatic veri€cation of concurrent programs. However, encoding all possible interleavings o‰en requires a huge and complex formula, which signi€cantly limits the salability. Œis paper proposes a novel and ecient abstraction re€nement method for multi-threaded program veri€cation. Observing that the huge formula is usually dom...

V. OPTICAL KERR EFFECT ........................................................................................................................... 11 • BOUND ELECTRONIC OPTICAL KERR EFFECT IN SOLIDS.................................................................................... 11 • RE-ORIENTATIONAL KERR EFFECT IN LIQUIDS ........................................................................