Notwithstanding its widespread use in financial markets and well-documented profitability, technical analysis is still perceived to carry useless information. This paper provides a possible explanation for this puzzle that goes beyond the standard self-fulfilling prophecy argument. If at least some of the asset price fundamentals are not currently observable, the oscillator model is able to inf...

Education is enhanced when students are able to be active, rather than passive, learners (McKeachie, 2002). Fortunately, social psychologists have a rich history of creating and publishing classroom demonstrations that allow for such active learning. Unfortunately, these demonstrations have been published in diverse journals, teaching manuals, and edited volumes that are not always readily avai...

A general automaton model for timing-based systems is presented and is used as the context for developing a variety of simulation proof techniques for such systems. These techniques include (1) reenements, (2) forward and backward simulations, (3) forward-backward and backward-forward simulations, and (4) history and prophecy relations. Soundness and completeness results are given for these sim...

Introducing the state-of-the-art in freestanding, prognosticatory devices. With version 2.0 of Oracle In A Box, the future is literally at your fingertips. The Oracle utilizes the latest in electro-biometric sensory to deduce (actually induce) your probable outlook with a light touch of the fingers on the advanced, ergonomic control interface. Within just a few seconds, the Oracle will respond ...

Auxiliary variables are often needed for verifying that an implementation is correct with respect to a higher-level specification. They augment the formal description of the implementation without changing its semantics—that is, the set of behaviors that it describes. This paper explains rules for adding history, prophecy, and stuttering variables to TLA specifications, ensuring that the augmen...