Cognitive mapping is assumed to be through hippocampus-dependent place learning rather than striatum-dependent response learning. However, we proposed that either type of spatial learning, as long as it involves encoding metric relations between locations and reference points, could lead to a cognitive map. Furthermore, the fewer reference points to specify individual locations, the more accura...

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

in order to meet the significantly increased metal demand of the world market, it has been decided to expand the capacity of the existing alumina refineries and to set up new plants (more than 2 mt/a each). the selection among the bauxite sources is based on previous exploration data, such as: tonnage, grade, mineralogy, etc., the geographical position of the deposit, existing natural and const...

Location-based services usually recommend new locations based on the user’s current location or a given destination. However, human mobility involves to a large extent routine behavior and visits to already visited locations. In this paper, we show how daily and weekly routines can be modeled with basic prediction techniques. We compare the methods based on their performance, entropy and correl...

Background. After discharge from an acute care setting, elderly cardiac patients take a variety of medications in the horne setting. Their pharmacologic regimens are often quite complex, and may involve drugs from several therapeutic categories. Patterns of medication use can be one measure of patient status after discharge because they can indicate whether medical conditions are stabilized. A ...

Bigraphs are emerging as an interesting model for concurrent calculi, like CCS, pi-calculus, and Petri nets. Bigraphs are built orthogonally on two structures: a hierarchical place graph for locations and a link (hyper-)graph for connections. With the aim of describing bigraphical structures, we introduce a general framework for logics whose terms represent arrows in monoidal categories. We the...