Profiting from the emergence of web-scale social data sets, numerous recent studies have systematically explored human mobility patterns over large populations and large time scales. Relatively little attention, however, has been paid to mobility and activity over smaller time-scales, such as a day. Here, we use Twitter to identify people’s frequently visited locations along with their likely a...

One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of Component-Based Semantics in the theorem prover COQ. It is based on Modular SOS, a variant of SOS...

In this empirical study, we investigate the role of national cultural dimensions as distal antecedents of the use intensity of e-tutorials, which constitute the digital component within a blended learning course. Profiting from the context of a dispositional learning analytics application, we investigate cognitive processing strategies and metacognitive regulation strategies, motivation and eng...

Profiting from spillovers is one of the key reasons behind technological collaboration agreements, agglomeration and even social stratification. The aim of this paper is precisely to understand the interaction between productive effort and the creation of synergies. We model this interaction in a way that allows us to characterize how agents devote resources to both activities optimally. In tur...

An electron-proton/ion collider facility (eRHIC) is under consideration at Brookhaven National Laboratory (BNL). Such a new facility will require the design and construction of a new optimized detector profiting from the experience gained from the H1 and ZEUS detectors operated at the HERA collider at DESY. The details of the design will be closely coupled to the design of the interaction regio...

Nanotechnology is on the threshold of providing a host of new materials and approaches, revolutionizing the medical and pharmaceutical fields. Several areas of medical care are already profiting from the advantage that nanotechnology offers. Recently, silver nanoparticles are attracting interest for a clinical application because of its potential biological properties such as antibacterial acti...

We show how web mark-up can be used to improve unsupervised dependency parsing. Starting from raw bracketings of four common HTML tags (anchors, bold, italics and underlines), we refine approximate partial phrase boundaries to yield accurate parsing constraints. Conversion procedures fall out of our linguistic analysis of a newly available million-word hyper-text corpus. We demonstrate that der...

Beef cow herd owners can benefit from incorporating price signals into their heifer retention decisions. Whereas a perfect forecast of calf prices over the productive life of the heifer added to the herd would be ideal, such information is not available. However, simple decision rules that incorporate current or recent prices and the knowledge that the cattle cycle likely will repeat itself can...

A popular computer puzzle, the game of Minesweeper requires its human players to have a mix both luck and strategy succeed. Analyzing these aspects more formally, in our research, we assessed feasibility novel methodology based on reinforcement learning as an adequate approach tackle problem pr...