This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenb...
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
■ Goal pursuit in humans sometimes involves approaching unpleasant and avoiding pleasant stimuli, such as when a dieter chooses to eat vegetables (although he does not like them...
We present Fitster, a social visualization interface that supports fitness motivation among busy people struggling to exercise. Among our pilot group of busy graduate students, we...
Noor Ali-Hasan, Diana Gavales, Andrew Peterson, Ma...