Inside a combinatory algebra, there are 'internal' versions of the nite type structure over !, which form models of various systems of nite type arithmetic. This paper compares internal representations of the intensional and extensional functionals. If these classes coincide, the algebra is called ft-extensional. Some criteria for ft-extensionality are given and a number of well-known ca's are ...

This paper presents ongoing research in the field of extensional mappings between ontologies. Hitherto, the task of generating mappings between ontologies has focused on the intensional level of ontologies. The term intensional level herein, refers to the set of concepts that are included in an ontology. However, an ontology that has been created for a specific task or application needs to be p...

Suspensions of copper nanowires are emerging as new electronic inks for next-generation flexible electronics. Using a novel surface acoustic wave driven extensional flow technique we are able to perform currently lacking analysis of these suspensions and their complex buffer. We observe extensional viscosities from 3 mPa s (1 mPa s shear viscosity) to 37.2 Pa s via changes in the suspension con...

It is not possible to model semantics of natural language unless one can clearly establish the structure of contextual information and how "context" guides the construction of semantic identities of linguistic units. We claim that this cannot be done unless one can overcome the representational locality imposed by extensional formalisms. In this paper we present a formalism aiming at setting up...

We add extensional equalities for the functional and product types to the typed-calculus with not only products and terminal object, but also sums and bounded recursion (a version of recursion that does not allow recursive calls of innnite length). We provide a connuent and strongly normalizing (thus decidable) rewriting system for the calculus, that stays connuent when allowing unbounded recur...

Acoustic vibrations of single gold nanorods coated with silver were investigated. We used single-particle pump-probe spectroscopy to monitor the silver deposition through the particle vibrations. Two vibration modes, the breathing mode and extensional mode, are observed, and the vibrational frequencies are measured as functions of the amount of silver deposited on single gold nanorods. The brea...

A series of polycarboxylate ether-based copolymers that include acrylic acid, 2acrylamido-2-methylpropane sulfonic acid, and polyethylene glycol-1000 was synthesized and the performance of these copolymers as rheology modifiers in aqueous alumina suspensions was characterized. We discussed the effect of monomer feed ratio and molecular weight on dispersing ability of these copolymers and on ext...

Value sets (VSs) used in electronic clinical quality measures are lists of codes from standard terminologies ("extensional" VSs), whose purpose ("intension") is not always explicitly stated. We elicited the intension for the 09/01/2014 release of extensional medication value sets by comparison to drug classes from the October 2014 release of RxClass. Value sets matched drug classes if they shar...