After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, re-use and cooperative update of semi-formal semantic networks, assign values to contributions and credits to the contributors. We then propose ontological elements to guide and normalize the construction of such knowl...

The term “carsharing” refers to a distinct business process wherein CSOs typically provide their members with short-term vehicle access from a network of unstaffed and distributed neighborhood locations. Members pay a flat hourly or per mile fee, or both, that includes fuel and insurance costs. These characteristics make carsharing distinct from car rental, through which vehicles are borrowed u...

We prove that any polyhedron of genus zero or genus one built out of rectangular faces must be an orthogonal polyhedron, but that there are nonorthogonal polyhedra of genus seven all of whose faces are rectangles. This leads to a resolution of a question posed by Biedl, Lubiw, and Sun [BLS99].

The assumption of the availability of tamper-proof hardware tokens has been used extensively in the design of cryptographic primitives. For example, Katz (Eurocrypt 2007) suggests them as an alternative to other setup assumptions, towards achieving general UC-secure multi-party computation. On the other hand, a lot of recent research has focused on protecting security of various cryptographic p...

Obesity results from a complex interaction between diet, physical activity, and the environment. The built environment encompasses a range of physical and social elements that make up the structure of a community and may influence obesity. This review summarizes existing empirical research relating the built environment to obesity. The Medline, PsychInfo, and Web of Science databases were searc...

We address a question posed by T. Sibley and Stan Wagon. They proved that rhombic Penrose tilings in the plane can be 3-colored, but a key lemma of their proof fails in the natural 3D generalization. In that generalization, an object is built from bricks, each of which is a parellelopiped, and they are glued face-toface. The question is: How many colors are needed to color the bricks of any suc...