We investigate Leifer and Milner RPO approach for deriving efficient (finitely branching) LTS’s and bisimilarities for π-calculus. To this aim, we work in a category of second-order term contexts and we apply a general pruning technique, which allows to simplify the set of transitions in the LTS obtained from the original RPO approach. The resulting LTS and bisimilarity provide an alternative p...

Today, software is being developed and maintained not just by engineers educated formally but also by people from widely different backgrounds including children, knowledge workers among many others. However, a number of studies indicate that most of these people are not equipped with enough software engineering skills leading to low-quality software. On the other hand, an analysis of literatur...

The linear least trimmed squares (LTS) estimator is a statistical technique for fitting a linear model to a set of points. It was proposed by Rousseeuw as a robust alternative to the classical least squares estimator. Given a set of n points in Rd, the objective is to minimize the sum of the smallest 50% squared residuals (or more generally any given fraction). There exist practical heuristics ...

Cysteinyl leukotrienes (cys-LTs), LTC₄, LTD₄, LTE₄ are potent inflammatory lipid mediators that act through two distinct G-protein-coupled receptors, CysLT₁R and CysLT₂R. Although cys-LTs are shown to induce vascular leakage and atherosclerosis, the molecular mechanism by which cys-LTs modulate endothelial function is not known. Here, we show that cys-LTs (LTC₄ and LTD₄) induce robust calcium i...

Thalamic relay cells respond in two distinct modes, burst and tonic, that depend on a voltage-dependent, low-threshold, transient Ca(2+) current (I(T)), and these modes relay different forms of information to cortex. I(T) activation evokes a low-threshold spike (LTS), producing a burst of action potentials. Modulatory inputs from cortex and brainstem are known to activate metabotropic receptors...

[1] This study examines variability in marine low cloud properties derived from semiglobal observations by the Tropical Rainfall Measuring Mission (TRMM) satellite, as linked to the aerosol index (AI) and lower-tropospheric stability (LTS). AI is derived from the Moderate Resolution Imaging Spectroradiometer (Terra MODIS) sensor and the Goddard Chemistry Aerosol Radiation and Transportation (GO...

PURPOSE The determinants of long-term survival in glioblastoma have remained largely obscure. Isocitrate dehydrogenase (IDH) 1 or 2 mutations are common in World Health Organization (WHO) grades II and III gliomas, but rare in primary glioblastomas, and associated with longer survival. EXPERIMENTAL DESIGN We compared clinical and molecular characteristics of 69 patients with centrally confirm...

This paper presents an end-point position measurement method for long-reach flexible manipulators using a landmark tracking system (LTS). The LTS is based on a computer vision system designed for the tracking of retroreflective landmarks. Hardware and software components of the LTS are described and the calibration procedure and sensing performance are discussed. Two methods are suggested to im...

We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that it is the fruit of ongoing work on developing a systematic procedure for deriving ltss in the structural style from the underlying reduction semantics and observability. Notably, even though we have derived our lts f...

Background: Laryngotracheal stenosis (LTS) is a life-threatening disease that commonly results in airway obstruction children. Traditional treatments such as laryngotracheal reconstruction and balloon dilation all have the risk of restenosis. It great importance to spare patients morbidity LTS risks restenosis associated with these treatments. Laboratory clinical trials focused on fibrosis, cru...