184
click to vote
CSCW
2016
ACM
10 years 2 months ago
2016
ACM
Distributed meetings can be messy, particularly when the task requires collaboration around multimedia artifacts. Teams must not only share a variety of materials related to the w...
301
click to vote
CSCW
2016
ACM
10 years 2 months ago
2016
ACM
Online communities, much like companies in the business world, often need to transfer “best practices” internally from one unit to another to improve their performance. Organi...
135
click to vote
CSCW
2016
ACM
10 years 2 months ago
2016
ACM
From amateur creativity to social media status updates, nearly every Internet user is also a content creator—but who owns that content? Policy, including intellectual property...
140
click to vote
CSCW
2016
ACM
10 years 2 months ago
2016
ACM
Face-to-face social interactions among strangers today are becoming increasingly rare as people turn towards computermediated networking tools. Today’s tools, however, are based...
136
click to vote
CSCW
2016
ACM
10 years 2 months ago
2016
ACM
Young people worldwide are participating in ever-increasing numbers in online fan communities. Far from mere shallow repositories of pop culture, these sites are accumulating sign...
108
click to vote
CRYPTOLOGIA
2016
10 years 2 months ago
2016
The Hagelin M-209 was a mechanical encryption device used by the US Army during World War 2 and the Korean War, as well as by other armies and in embassy settings. In this paper, ...
125
click to vote
CPP
2016
10 years 2 months ago
2016
This papers extends the Nuprl proof assistant (a system representative of the class of extensional type theories `a la Martin-L¨of) with named exceptions and handlers, as well as...
226
click to vote
CPP
2016
10 years 2 months ago
2016
In homotopy type theory, we construct the propositional truncation as a colimit, using only non-recursive higher inductive types (HITs). This is a first step towards reducing rec...
138
click to vote
CPP
2016
10 years 2 months ago
2016
In Separation Logic, representation predicates are used to describe mutable data structures, by establishing a relationship between the entry point of the structure, the piece of ...
124
click to vote
CPHYSICS
2016
10 years 2 months ago
2016
We present an upgraded version (denoted as version 2.0) of the program HELAC-Onia for the automated computation of heavy-quarkonium helicity amplitudes within non-relativistic QCD...