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...

We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [2, 3] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the one proposed in [6]. As an immediate useful consequence of our developments, we define for the language we c...

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 infinite length). We provide a confluent and strongly normalizing (thus decidable) rewriting system for the calculus, that stays confluent when allowing unbounded r...

We use a modified filament stretching rheometer to quantify the influence of a known controlled pre-shear history on the transient extensional viscosity of a dilute polymer solution. Two different types of pre-deformation are explored; both influence the subsequent stretching significantly, albeit in opposite ways. Small-amplitude oscillatory straining parallel to the direction of stretching en...

In this paper, a new fuzzy density function, called N-density, is proposed. A real data set about Students Valuing Science with 5-fold cross-validation RMSE is conducted, for comparing the performances of the Choquet integral regression model with respect to six measures, Pmeasure, λ-measure, L-measure, extensional L-measure, completed L-measure and extensional completed L-measure based on this...