We generalise Fiore et al's account of variable binding for untyped cartesian contexts to give an account of binding for either variables or names that may be typed. We do this in an enriched setting, allowing the incorporation of recursion into the analysis. Extending earlier work by us, we axiomatise the notion of context by defining and using the notion of an enriched pseudo-monad S on V-Cat, with leading examples of V given by Set and wCpo, the latter yielding an account of recursion. Fiore et al implicitly used the pseudo-monad Tfp on Cat for small categories with finite products. Given a set A of types, our extension to typed binders and enrichment involves generalising from Fiore et al's use of [\mathbbF,Set] to [(SA)op,VA]. We define a substitution monoidal structure on [(SA)op,VA], allowing us to give a definition of binding signature at this level of generality, and extend initial algebra semantics to the typed, enriched axiomatic setting. This generalises and axiomatises previous work by Fiore et al and later authors in particular cases. In particular, it includes the Logic of Bunched Implications and variants, infinitary examples, and structures not previously considered such as those generated by finite limits.
This paper is a study on the development of a compact palpation sensor with the aim of developing an automatic sensing system for detecting both prostatic cancer and hypertrophy in vivo and noninvasively. The sensor is an assembly of layered media with two PVDF (polyvinylidene fluoride) patches embedded in a soft matrix material. First, the output voltage signals from the sensor are measured when the sensor is attached onto a linear translation stage and pressed against soft sample materials with a constant stroke and constant oscillation frequency. Then, the data processing for extracting the information on their stiffness is detailed. Finally, the clinical data measured on the stiffness of hardened and normal prostate glands are presented, which reveals the potential of the present probe for a compact palpation sensor.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.