In this article, authors talk about the relevance of the training of foreign students in verbal-nominal combinations in different spheres of functioning. It is important for language adaptation. Language adaptation depends on how students know the system of language and the feature of language expression of sense. Verbal-nominal combinations are used in different spheres therefore they can be s...

PURPOSE To determine the cause of negative dysphotopsia and the location, appearance, and relative intensity of such images in pseudophakic eyes. SETTING Baylor College of Medicine, Houston, Texas, USA. DESIGN Reporting available data addressing a specific clinical question. METHODS Negative dysphotopsia was simulated using the Zemax optical design program. The nominal values for the pseu...

One-dimensional nanostructures based on the Mo–S–I system have recently aroused a lot of interest as a viable alternative to the ubiquitous carbon nanotube due to their uniform structure and electronic properties for a given composition. Previous research on the Mo6S3I6 and Mo6S4.5I4.5 stoichiometries has also shown them to be soluble in common solvents like water, acetone or isopropyl alcohol,...

Model Predictive Control is a controller design method which synthesizes a sampled data feedback controller from the iterative solution of open loop optimal control problems. We describe the basic functionality of MPC controllers, their properties regarding feasibility, stability and performance and the assumptions needed in order to rigorously ensure these properties in a nominal setting.

We employ automata over infinite alphabets to capture the semantics of a finitary fragment of ML with ground-type references. Our approach is founded on game semantics, which allows us to translate programs into automata in such a way that contextual equivalence is characterized by a finitary notion of bisimilarity. As a corollary, we derive a decidability result for a class of first-order prog...

Nominal unification is an extension of first-order unification that takes into account the α-equivalence relation generated by binding operators, following the nominal approach. We propose a sound and complete procedure for nominal unification with commutative operators, or nominal C-unification for short, which has been formalised in Coq. The procedure transforms nominal C-unification problems...

Since the discovery of fully abstract models of PCF in the early 1990s, game semantics has expanded to a wide range of programming paradigms, covering effects like state, control, general references, non-determinism, probability and concurrency. Those models revealed an interesting phenomenon referred to as Abramsky’s cube: starting from the PCF model and relaxing each of its combinatorial cond...

Nominal rewriting is a framework of higher-order rewriting introduced in (Fernández, Gabbay & Mackie, 2004; Fernández & Gabbay, 2007). Recently, (Suzuki et al., 2015) revisited confluence of nominal rewriting in the light of feasibility. We report on an implementation of a confluence tool for (non-closed) nominal rewriting, based on (Suzuki et al., 2015) and succeeding studies.