A decade ago, while managing the Computer Science Laboratory at Xerox Palo Alto Research Center, Mark Weiser envisioned a computer “so imbedded, so fitting, so natural, that we use it without even thinking about it” (“Creating the Invisible Interface,” Proc. 7th Ann. ACM Symp. User Interface Software and Technology, ACM Press, 1994, p. 1). Today, Weiser’s vision is coming to pass everywhere: ga...

In this paper we study the logic of goals, which are formalized as desires with an utilitarian semantics. In our framework goals have a dual character, because they are constraints on utility functions as well as constructors of these utility functions. The non-monotonic reasoning related to the constructors reeects that goals are used as heuristic approximations of preferences in decision maki...

Finally, we thank staff from the state energy offices, public utilities commissions, and electric utilities who provided information for this report. Of course, any remaining errors or omissions are our own.

We designed an economic task to investigate human planning of routes in landscapes where travel in different kinds of terrain incurs different costs. Participants moved their finger across a touch screen from a starting point to a destination. The screen was divided into distinct kinds of terrain and travel within each kind of terrain imposed a cost proportional to distance traveled. We varied ...

We present solutions of the holomorphic anomaly equations for compact two-parameter Calabi-Yau manifolds which are hypersurfaces in weighted projective space. In particular we focus on K3-fibrations where due to heterotic type II duality the topological invariants in the fibre direction are encoded in certain modular forms. The formalism employed provides holomorphic expansions of topological s...

The dual-role method (DRM) extracts subject preferences as two players in experimental economic games. Previous research indicates mixed effects of DRM on game performance. A two (role)-by-two (role order) design for the ultimatum game (UG) was implemented in a naturalistic setting across 2 years. Subjects played according to the role they were assigned (proposer or responder). Immediately afte...

The study investigates the relationship between input, UG parameter values, and the native language in the acquisition of a purely semantic property that is superficially unrelated to its syntactic trigger, The Bare Noun/Proper Name parameter. A bidirectional study of the two properties was conducted. In the English Italian direction, the lack of one native interpretation in the target language...

A variety of experiments support the existence of “sonority projection”: speakers represent severe sonority sequencing violations ([lba]) as less wellformed than modest ones ([bda]), even though neither is present in their native language. One interpretation of such findings is that the Sonority Sequencing Principle ([9]) is part of Universal Grammar. Modeling study, however, suggests that the ...

Given an integer 1 ≤ j < n, define the (j)-coloring of a n-dimensional hypercube Hn to be the 2-coloring of the edges of Hn in which all edges in dimension i, 1 ≤ i ≤ j, have color 1 and all other edges have color 2. Cheng et al. [Proper distance in edge-colored hypercubes, Applied Mathematics and Computation 313 (2017) 384-391.] determined the number of distinct shortest properly colored paths...

The object of this note is to give a very short proof of the following theorem of Ivanov and Schupp. Let H be a finitely generated subgroup of a free group F and the index [F : H ] infinite. Then there exists a nontrivial normal subgroup N of F such that N ∩ H = {1}. As noted in the abstract above the object of this note is to give a new proof of the following theorem of S.V.Ivanov and P.E.Schu...