We present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable depending on whether its value can be dereferenced by a pointer. Our model of locations is similar to previous work on pointers within the UTP; the main difference is that the previous work on pointers only modelled shareable locations. We explain why containable locations...

We show that people’s travel destinations are predictable based on simple features of their home and destination. Using geotagged Twitter data from over 200,000 people in the U.S., with a median of 10 visits per user, we use machine learning to classify whether or not a person will visit a given location. We find that travel distance is the most important predictive feature. Ignoring distance, ...

The aim of this study was to examine the contamination, accumulation, and distribution of mercury in fruiting bodies by Leccinum versipelle fungus collected from distant sites across Poland. Mercury was determined using validated method by cold-vapor atomic absorption spectroscopy after direct sample matrix combustion. A large set of data gained using 371 fruiting bodies and 204 soil samples re...

I.I Sketch of Proposal We propose a semantics for locative expressions such as near Jones or west of Denver, an important subsystem for NLP applications. Locative expressions denote regions of space, and serve as arguments to predicates, locating objects and events spatially. Since simple locatives occupy argument positions, they do NOT participate in scope ambiguities m pace one common view, w...

The UF Orthopaedics and Sports Medicine Insititute [1] (OSMI) treats a diverse nature of conditions. Our primary facility is located in Gainesville, Florida, adjacent to the west side of the University of Florida campus [2]. To save time, it is recommended to download/complete the patient registration forms [3] and bring them with you on your visit. If you are a referring office requesting cons...

We introduce a notion called “intrinsic location functional”. This is a large family of random locations including, for example, the location of the path supremum/infimum over an interval, the first/last hitting time, among many others. On one hand, it is proved that under stationarity, the distributions of intrinsic location functionals must satisfy the same very specific constraints, in spite...

Let s = s1..sn be a text (or sequence) on a finite alphabet Σ of size σ. A fingerprint in s is the set of distinct characters appearing in one of its substrings. The problem considered here is to compute the set F of all fingerprints of all substrings of s in order to answer efficiently certain questions on this set. A substring si..sj is a maximal location for a fingerprint f ∈ F (denoted by 〈...

background and objectives: sugar beet (beta vulgaris l.) is the major crop in khorasan province which is mainly grown in spring. however, autumn sowing has a lot of advantages including lower crop water requirement and higher water use efficiency. accordingly, this research was performed to compare the yield of storage organ in spring and autumn-sown sugar beet and determine the most appropriat...

Although the importance of locating in manufacturing and service companies is not a new issue, one of significance applications is to determine the appropriate location for warehouses in manufacturing workshops warehouses to the maintenance of materials or products. In any organizations, Finding the suitable site for warehouses establishments to increase customer service and efficiency is one o...