A standard monad of continuations, when constructed with domains in the world ofFM-sets [1], is shown to provide a model of dynamic allocation of fresh names that isboth simple and useful. In particular, it is used to prove that the powerful facilitiesfor manipulating fresh names and binding operations provided by the “FreshML”series of metalanguages [2–4] respect α-equivalence ...

Nominal terms use a characteristic combination of features: Two levels of variable: atoms a and unknowns X. Freshness conditions a#X and permutations π. An abstraction [a]r with a distinctive α-equivalence based on freshness and permutation. The first statement above is rendered in nominal terms as the equality judgement b#X ` [a]X =α [b](b a) ·X. a and b denote atoms, which represent the ‘x’ a...

A disposable colorimetric sensor array (CSA) made from printing various chemically responsive dyes was combined with a hand-held device for on-site assessment and monitoring of the freshness of five meat products: beef, chicken, fish, pork, and shrimp. The hand-held device takes advantage of an on-board diaphragm micropump and a commercial 1D CMOS camera (CIS) which enables the real-time collec...

This study measures the frequency in which search engines update their indices. Therefore, 38 websites that are updated on a daily basis were analysed within a time-span of six weeks. The analysed search engines were Google, Yahoo and MSN. We find that Google performs best overall with the most pages updated on a daily basis, but only MSN is able to update all pages within a time-span of less t...

some of arid regions problems of iran are saline and sodic soils. in improvement and reclamation of iranian arid rangelands, some foreign species of atriplex had been imported and adapted for many years ago. the most adapted species was atriplex canescens. at the present research, some environmental factors, vegetative characteristics (na, ca, mg and k), soil properties (moisture, ec, ph, solut...

Data outsourcing offers cost-effective computing power to manage massive data streams and reliable access to data. For example, data owners can forward their data to clouds, and the clouds provide data mirroring, backup, and online access services to end users. However, outsourcing data to untrusted clouds requires data authentication and query integrity to remain in the control of the data own...

Important applications, like e-commerce, online stock trading, traffic control demand real-time data services. Conventional database perform poor at these applications. A database for real-time data services has to support timing constraints and temporal consistency in addition to supporting characteristics of a conventional database system. In other words, it is desirable to execute transactio...

A significant amount of work has investigated inventory control problems associated with fresh produce. Much of this work has considered deteriorating inventory control with many models having been proposed for the various situations that exist. However, no researchers have specifically studied fresh produce which has its own special characteristics. Most research categorise fresh produce into ...

The demand for real-time database services has been increasing recently. Examples include sensor data fusion, stock trading, decision support, web information services, and data-intensive smart spaces. In these systems, it is essential to execute transactions in time using fresh (temporally consistent) data. Due to the high service demand, many transactions may miss their deadlines regardless o...

Han F., Huang X., Teye E., Gu H., Dai H., Yao L. (2014): A nondestructive method for fish freshness determination with electronic tongue combined with linear and non-linear multivariate algorithms. Czech J. Food Sci., 32: 532–537. Electronic tongue coupled with linear and non-linear multivariate algorithms was attempted to address the drawbacks of fish freshness detection. Parabramis pekinensis...