In automated negotiation systems consisting of self-interested agents, contracts have traditionally been binding. Leveled commitment contracts | i.e. contracts where each party can decommit by paying a predetermined penalty|were recently shown to improve expected social welfare even if agents decommit insincerely in Nash equilibrium. Such contracts diier based on whether agents have to declare ...

Gentry, Sahai, and Waters (CRYPTO 2013) proposed the notion of multi-identity fully homomorphic encryption (MIFHE), which allows evaluation data encrypted under multiple identities. Subsequently, Clear McGoldrick (CANS 2014, CRYPTO 2015) leveled MIFHE candidates. However, is either based on i O , a non...

Functional thinking is an appropriate way to introduce algebraic concepts in elementary school. We have developed a framework for assessing and interpreting students’ level of understanding of functional thinking using a construct modeling approach. An assessment was administered to 231 secondthrough sixth-grade students. We then developed a progression of functional thinking knowledge. This in...

Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, but supported by a multiplicity of technologies and physical devices. This paper presents an activity-theoretically based framework for analyzing ubiquitous substitution, i.e. a set of mediators that are or can be continuously ...

Abstract An abundance of literature has examined barriers to women’s equitable representation in science, technology, engineering, and math (STEM) fields, with many studies demonstrating that STEM fields are not perceived afford communal goals, a key component interest future careers. Using Goal Congruity Theory as framework, we tested the longitudinal impact perceptions career goal affordances...