In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We showed that this semantics is implementable provided there exists a strictly positive value for the parameter ∆ for which the strategy is correct. In this paper, we define the implementability problem to be the question of...

In this paper we describe the ASAP system (Automatic Semantic Alignment for Phrases)1 which participated on the Task 1 at the SemEval-2014 contest (Marelli et al., 2014a). Our assumption is that STS (Semantic Text Similarity) follows a function considering lexical, syntactic, semantic and distributional features. We demonstrate the learning process of this function without any deep preprocessin...

JERRY SWAN1, GABRIELA OCHOA1, GRAHAM KENDALL1, MARTIN EDJVET2 1Automated Scheduling, Optimisation and Planning (ASAP) Research Group, School of Computer Science and Information Technology, University of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, UK. Tel.: (+44) (0)115 846 6504, Fax: +44 (0)115 846 7877. 2School of Mathematical Sciences, University of Nottingham, University P...

We investigate the impact of instantons on scalar glueball properties in a largely model-independent analytical approach based on the instantonimproved operator product expansion (IOPE) of the 0++ glueball correlator. The instanton contributions turn out to be dominant, to substantially improve the consistency of the correponding QCD sum rules, and to increase the glueball residue about fivefold.

This paper provides two main contributions to binary choice models with endogenous regressors. First, we propose some variants of special regressor based estimators that are numerically trivial to implement. These estimators provide consistent estimates of binary choice model coef cients when regressors (either discretely or continuously distributed) are endogenous, and when the latent errors h...

objectives: leptin is a hormone-like protein produced by the adipose tissue. it plays an important role in protection of host against inflammation and infection. some studies have reported changes in leptin levels in the gingival crevicular fluid (gcf), saliva and blood serum of patients with periodontal disease compared to healthy individuals. the aim of the present study was to compare the sa...