We conducted an in-depth, micro-level process analysis of 36 experimental groups working on a decision-making task in either desktop videoconferencing, audio conferencing or face-to-face environments. Using the framework of Giddens’ structuration theory, we observed social structures producing behaviors and social structures reproducing behaviors that participants exhibited during the experimen...

We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantified variables and eliminate universal variables by expansion. This process is continued until the formula becomes propositional and can be solved by any SAT solver. On structured problems our implementation quantor is com...

Libraries have adopted technology tools in order to facilitate access to their rich contents, and social media tools have provided libraries with new ways of communicating and sharing information. These tools give libraries the opportunity to expand their content to new communities. In the book, Local Community in the Era of Social Media Technologies Hui-Lan H. Titangos discusses the concept of...

We construct noncommutative extension of U(N) principal chiral model with Wess-Zumino term and obtain an infinite set of local and non-local conserved quantities for the model using iterative procedure of Brezin et.al [17]. We also present the equivalent description as Lax formalism of the model. We expand the fields perturbatively and derive zerothand first-order equations of motion, zero-curv...