Sciweavers

NSPW
2015
ACM
8 years 9 days ago
WebSheets: Web Applications for Non-Programmers
Spreadsheets are a very successful programming paradigm. Their success stems from user’s familiarity with tabular data, and their previous experience in performing manual comput...
Riccardo Pelizzi, R. Sekar
NSPW
2015
ACM
8 years 9 days ago
Exploiting the Physical Environment for Securing the Internet of Things
Using the randomness provided by the physical environment to build security solutions has received much attention recently. In particular, the shared entropy provided by measuring...
Christian T. Zenger, Jan Zimmer, Mario Pietersz, J...
NSPW
2015
ACM
8 years 9 days ago
The Myth of the Average User: Improving Privacy and Security Systems through Individualization
While individual differences in decision-making have been examined within the social sciences for several decades, they have only recently begun to be applied by computer scienti...
Serge Egelman, Eyal Péer
ACS
2015
8 years 11 days ago
Modal Operators on Compact Regular Frames and de Vries Algebras
In [7] we introduced the category MKHaus of modal compact Hausdorff spaces, and showed these were concrete realizations of coalgebras for the Vietoris functor on compact Hausdor...
Guram Bezhanishvili, Nick Bezhanishvili, John Hard...
ACS
2015
8 years 11 days ago
Monads of Regular Theories
We characterize the category of monads on Set and the category of Lawvere theories that are equivalent to the category of regular equational theories.
Stanislaw Szawiel, Marek W. Zawadowski
ACS
2015
8 years 11 days ago
Unifying Exact Completions
We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2category of exact categories to exist...
Maria Emilia Maietti, Giuseppe Rosolini
ACS
2015
8 years 11 days ago
Exponential Kleisli Monoids as Eilenberg-Moore Algebras
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identi...
Dirk Hofmann, Frédéric Mynard, Gavin...
ACS
2015
8 years 11 days ago
Association Schemoids and Their Categories
We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner al...
Katsuhiko Kuribayashi, Kentaro Matsuo
ACS
2015
8 years 11 days ago
Normalizers and Split Extensions
We make explicit a larger structural phenomenon hidden behind the existence of normalizers in terms of existence of certain cartesian maps related to the kernel functor.
Dominique Bourn, James Richard Andrew Gray