Large-scale mobile trac analytics is becoming essential to digital infrastructure provisioning, public transportation, events planning, and other domains. Monitoring city-wide mobile trac is however a complex and costly process that relies on dedicated probes. Some of these probes have limited precision or coverage, others gather tens of gigabytes of logs daily, which independently o‚er limit...

Biochemical adaptation is one of the basic functions that are widely implemented in biological systems for a variety of purposes such as signal sensing, stress response and homeostasis. The adaptation time scales span from milliseconds to days, involving different regulatory machineries in different processes. The adaptive networks with enzymatic regulation (ERNs) have been investigated in deta...

The error-related negativity (ERN) and error positivity (Pe) are electrophysiological markers of error processing thought to originate in the medial frontal cortex. Previous studies using probabilistic reinforcement showed that individuals who learn more from negative than from positive feedback (negative learners) had larger ERNs than did positive learners. These findings support the dopamine ...

In scenarios such as web programming, where code is linked together from multiple sources, object capability patterns (OCPs) provide an essential safeguard, enabling programmers to protect the private state of their objects from corruption by unknown and untrusted code. However, the bene ts of OCPs in terms of program veri cation have never been properly formalized. In this paper, building on t...

Hyperactive cortico-striatal circuits including the anterior cingulate cortex (ACC) have been implicated to underlie obtrusive thoughts and repetitive behaviors in obsessive-compulsive disorder (OCD). Larger error-related negativities (ERNs) in OCD patients during simple flanker tasks have been proposed to reflect an amplified error signal in these hyperactive circuits. Such amplified error sig...

Action monitoring has been studied in many tasks by means of measuring the error-related negativity (Ne/ERN), but never in a motor control task requiring precise force production. Errors in discrete choice reaction tasks are the result of incorrect selections, but errors in force production can also arise from incorrect executions. ERPs were obtained while participants produced low or high isom...

With the rapid increase in urban development, it is critical to utilize dynamic sensor streams for trac understanding, especially in larger cities where route planning or infrastructure planning is more critical. Œis creates a strong need to understand trac paŠerns using ubiquitous sensors to allow city ocials to be better informed when planning urban construction and to provide an understan...