One of the major challenges in denotational semantics is the construction of a fully abstract semantics for a higher-order sequential programming language. For the past fifteen years, research on this problem has focused on developing a semantics for PCF, an idealized functional programming language based on the typed λ-calculus. Unlike most practical languages, PCF has no facilities for observ...

Four binol based pyrrole carboxamide chiral receptors has been synthesized and effectively used as a Chirality Conversion Reagent (CCR) for underivatized amino acids. Three points of interactions take place for the conversion process. They are the reversible imine formation, the internal resonance assisted Hydrogen Bonding (RAHB) and the additional hydrogen bonds between the amino acids and the...

Aim To evaluate the feasibility and safety of total neoadjuvant therapy (TNT) in patients with locally advanced rectal cancer (LARC) Japan. Methods This prospective, multicenter, open-label, single-arm phase II trial was conducted at five institutions. The key eligibility criteria were age ≥ 20 years, LARC within 12 cm from anal verge, cT3-4N0M0 or TanyN+M0 time diagnosis that enabled curative ...

The aim of this paper is to estimate the efficiency of the Slovak commercial banks employing the Data Envelopment Analysis (DEA) window analysis approach during the period 20032012. The research is based on unbalanced panel data of the Slovak commercial banks. Undesirable output was included into analysis of banking efficiency. It was found that most efficient banks were Postovabanka, UniCredit...

The research focus of the scientific paper is on the problem of equity portfolio construction. The author recommends applying frontier analysis technique such as Data Envelopment Analysis to the performance measurement of emitters. Using modern computer technologies, the author has calculated efficiency score of twenty Baltic companies which are quoted at NASDAQ OMX Riga and NASDAQ OMX Tallinn ...

Sensitivity analysis in data envelopment analysis (DEA) is studied for the case of the proportionate change of a subset of outputs or/and of a subset of inputs of an efficient decision making unit (DMU) according to the Charnes–Cooper–Rhodes (CCR) ratio model. Sufficient conditions for an efficient DMU to preserve its efficiency under the proportionate change of a subset of inputs or/and of out...

Let T be a set of terms over an arbitrary (but finite) number of Boolean variables. Let U(T ) be the set of truth assignments that satisfy exactly one term in T . Motivated by questions in computational complexity, Rudich conjectured that there exist , δ > 0 such that if T is any set of terms for which U(T ) contains at least a (1− )-fraction of all truth assignments, then there exists a term t...