Geometry of Interaction V: Logic in the hyperfinite factor

Geometry of Interaction is a transcendental syntax developed in the framework of operator algebras. This fifth installment of the program takes place inside a von Neumann algebra, the hyperfinite factor. It provides a built-in interpretation of cut-elimination as well as an explanation for light, i.e., complexity sensitive, logics.     

A hybrid approach based on SERVQUAL and fuzzy TOPSIS for evaluating transportation service quality

Managing service quality is vital to retain customer satisfaction and augment revenues for any business organization. Often it is difficult to assess service quality due to lack of quantifiable measures and limited data. In this paper, we present a hybrid approach based on SERVQUAL and fuzzy TOPSIS for evaluating service quality of urban transportation systems. The proposed approach consists of three steps. The first step involves development of a SERVQUAL based questionnaire to collect data for measuring transportation service quality. The participants provide linguistic assessments to rate the service quality criteria and the alternatives. In step 2, the linguistic ratings are combined through fuzzy TOPSIS to generate an overall performance score for each alternative. The alternative with the highest score is finally chosen. In step 3, sensitivity analysis is conducted to evaluate the influence of criteria weights on the decision making process.The strength of the proposed approach is its practical applicability and ability to provide solution under partial or lack of quantitative information. An application of the proposed approach for evaluation of service quality of metro in Montreal is provided.     

Dr. Jekyll vis-à-vis Mr. Hyde: Personality variation between virtual and real worlds

Organizations use virtual-worlds to enhance group discussion; it allows an individual to decouple his or her rendered from actual behavior; resulting in others perceiving him or her to have two or more personalities. Building on self-regulation theory, we examined how satisfaction in the virtual-world was affected by these personality differences. A field study was conducted to attempt to understand this; it involved 297 students engaged in a virtual tutorial group using Second Life. We found that small variations in personality between the virtual and real world groups (such as being helpful, sociable, seeking recognition, or submissive) could lead to greater satisfaction of the discussion.     

Should I e-collaborate with this group? A multilevel model of usage intentions

The use of online collaboration tools for virtual teamwork has been studied extensively, but mainly at the individual-level. We decided to examine the effect of macro-level factors (i.e., team attributes) and applied hierarchical linear modeling analysis to a sample of data collected from 96 individuals nested in 34 virtual teams. Our results suggested that the development of behavioral e-collaboration intentions by individual virtual team members was affected by their perceptions about the system, as described by individual-level IT use theories, and macro-level factors pertaining to the team. The collaboration technology was perceived to be less useful when employed to communicate with social loafers; and collective social loafing negatively influenced the teams’ potency assessments. After controlling for individual-level perceptions of system usefulness, team potency augmented team members’ intentions to use the online collaboration technology with similar teams. It also improved team performance.     

The kinematic design of spatial,hybrid closed chains including planar parallelograms

It is presented an integral approach for the kinematic design of spatial, hybrid closed chains which include planar parallelograms into their kinematic structure. It is based on a systematic application of recursive formulae intended for describing the evolution of screws through time. Due to the particular nature of the proposed approach, it can be closely related with Lie algebras and allows to overcome the lacking of group structure offered by a parallelogram when it is going to be considered as a component of a hybrid closed chain. Several application examples are presented in order to show the potential of the proposed approach.     

Examining different types of collaborative learning in a complex computer-based environment: A cognitive load approach

This study compared the effects of two collaborative learning strategies (Open-ended and Task-based) with an individualized learning strategy on individual learning in a computer-based environment. The experiment sought ecological validity by conducting it under real teaching and homework conditions. Ninety-four students from grade 9 participated in a webpage design task. Cognitive load theory was used to predict that the collaborative approaches would outperform the individualized approach due to reduced cognitive load. This hypothesis was confirmed by performance scores and cognitive load only in the case of the Open-ended collaborative learning condition. Evidence was also found that the Open-ended collaborative learning condition outperformed the Task-based collaborative one. It was concluded that in collaborative learning a more Open-ended task design together with moderate independent sub-task requirements leads to more effective learning.     

The double-edged effects of explanation prompts

Explanation prompts usually foster conceptual understanding. However, it has been claimed within cognitive load theory that prompts can take cognitive load to the upper limit when learning complex contents. Under such circumstances, prompts focusing the learners’ attention on specific aspects (e.g., conceptual aspects such as elaborations on domain principles) might have some costs: Other important aspects (e.g., procedural aspects such as how to calculate) cannot be processed deeply. Thus, we expected that conceptually-oriented explanation prompts would foster the detailedness of explanations, the number of elaborations on domain principles, and conceptual knowledge. In addition, we tested the influence of such prompts on the number of calculations performed during learning and procedural knowledge. We conducted an experiment in which we employed conceptually-oriented explanation prompts in a complex e-learning module on tax law. Tax law university students (N = 40) worked on this e-learning module under two conditions: (a) conceptually-oriented explanation prompts, (b) no prompts. The prompts led to double-edged effects: positive effects on the detailedness of explanations and on the number of elaborations on domain principles, as well as on conceptual knowledge and simultaneously negative effects on the number of calculations performed during learning as well as on procedural knowledge.     

The change in user and IT dynamics: Blogs as IT-enabled virtual self-presentation

Using the blogosphere as an enabling IT environment, this paper investigates how self-concept influences virtual self-presentation behavior and the use of IT artifacts. Self-presentation theory is adapted from the social psychology literature to develop a theoretical research model of virtual self-presentation. We tested the research model and hypotheses with data collected from 312 bloggers. Structural equation analysis of this data reveals a nomological net of self-concept leading to IT-enabled virtual self-presentation and the use of IT artifacts. Our findings provide a new perspective of users as heterogeneous individuals who have various self-concepts that change the sequence and dynamics among users, IT artifacts, and tasks. In contrast to traditional systems, in the social context of virtual self-presentation, users are the primary and essential drivers who determine vaguely defined tasks and systems.     

Examining knowledge contribution from the perspective of an online identity in blogging communities

Knowledge contribution is one of the essential factors behind the success of blogging communities (BCs). This research studies knowledge contribution behavior in a BC from the perspective of knowledge contributors and their characteristics using the lens of social identity theory. Social identity theory asserts that individuals are fundamentally motivated to present or communicate their identities in everyday social life through behavior. A similar line of reasoning can be used to argue that members of a BC would also be motivated to communicate their online identities through their behavior, that is, through knowledge contribution in the BC. Specifically, this study conceptualized the online identity and examined the effects of its personal (online kindness, online social skills, and online creativity) and social aspects (BC involvement) on knowledge contribution. The data was collected using an online survey from the members of Cyworld, a popular BC in South Korea and a few other countries (members from South Korea were included in this study). The results indicate that both the personal and social aspects of online identity and their interactions significantly influenced knowledge contribution. Based on the findings, this study offers suggestions to organizers of BCs to enhance the knowledge contribution from their members.     

Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.