HIPAA's Effect on Web Site Privacy Policies

Healthcare institutions typically post their privacy practices online as privacy policy documents. We conducted a longitudinal study that examines the effects of HIPAA's enactment on a collection of privacy policy documents for a fixed set of organizations over a four-year period. We present our analysis of 24 healthcare privacy policy documents from nine healthcare Web sites, analyzed using goal mining, a content-analysis method that supports extraction of useful information about institutions' privacy practices from documents. We compare our results to our pre-HIPAA study of these same institutions' online privacy practices and evaluate their evolution in the presence of privacy laws     

The effects of user factors and symbol referents on public symbol design using the stereotype production method

This study investigated the influence of user factors and symbol referents on public symbol design among older people, using the stereotype production method for collecting user ideas during the symbol design process. Thirty-one older adults were asked to draw images based on 28 public symbol referents and to indicate their familiarity with and ease with which they visualised each referent. Differences were found between the pictorial solutions generated by males and females. However, symbol design was not influenced by participants' education level, vividness of visual imagery, object imagery preference or spatial imagery preference. Both familiar and unfamiliar referents were illustrated pictorially without much difficulty by users. The more visual the referent, the less difficulty the users had in illustrating it. The findings of this study should aid the optimisation of the stereotype production method for user-involved symbol design.     

Design of software systems based on axiomatic design

The ability to utilize fully automated flexible manufacturing systems (FMS) or develop reliable computer-integrated manufacturing (CIM) systems will depend on our ability to develop reliable and reusable software for large complex systems on a timely basis. To date, software design has not gone very far beyond the ad hoc trial-and-error stage. Consequently, the development of software is slow, expensive, unreliable, and unmanageable. The purpose of this paper is to provide a scientific basis for designing software. The approach used here is that of axiomatic design, which is based on two design axioms: the Independence Axiom and the Information Axiom. The axiomatic approach is based on the recognition of the following common elements in design: the existence of independent domains (i.e. the consumer domain, the functional domain, the physical domain, and the process domain); the need to map between various domains during the design process; the decomposition of the characteristic vectors (i.e. functional requirements, design parameters, and process variables) in their respective domains; the zig-zagging required between the domains for decomposition; and the need to satisfy the design axioms during the design process. The axiomatic approach discussed in this paper provides decision making tools for software design in addition to systematic means of knowledge and data representation, synthesis and analysis of software, and the construction of the module-junction structure diagram.     

Underactuated miniature bending joint composed of serial pulleyless rolling joints

This paper proposes a miniature bending joint composed of serial rolling joints; it refers to the classification of small joints of other products and studies on surgical applications according to the structures and transmissions. To achieve this, a pulleyless rolling joint is introduced as a unit component and the basic design principle is established for the joint. A simple mechanism guarantees a smooth rolling contact using elastic fixtures. Underactuation, which prevents S-shaped curvature similar to buckling, is applied to drive the bending joint with a limited number of wire cables. Using a 1-DOF real-sized prototype, experiments were performed to measure the motion accuracy and payload capacity from various angles to evaluate the efficacy of an improved design that enhances the payload on the distal end. This novel joint is applicable to a wider variety of surgical tools and catheters relative to other candidates owing to its small constant curvature, reasonable payload capacity, and miniature size.     

Scalable and leaderless Byzantine consensus in cloud computing environments

Traditional Byzantine consensus in distributed systems requires n ≥ 3f + 1, where n is the number of nodes. In this paper, we present a scalable and leaderless Byzantine consensus implementation based on gossip, requiring only n ≥ 2f + 1 nodes. Unlike conventional distributed systems, the network topology of cloud computing systems is often not fully connected, but loosely coupled and layered. Hence, we revisit the Byzantine consensus problem in cloud computing environments, in which each node maintains some number of neighbors, called local view. The message complexity of our Byzantine consensus scheme is O(n), instead of O(n ²). Experimental results and correctness proof show that our Byzantine consensus scheme can solve the Byzantine consensus problem safely in a scalable way without a bottleneck and a leader in cloud computing environments.     

Flexible, dry-released process for aluminum electrostatic actuators

We present an all-aluminum MEMS process (Al-MEMS) for the fabrication of large-gap electrostatic actuators with process steps that are compatible with the future use of underlying, pre-fabricated CMOS control circuitry. The process is purely additive above the substrate as opposed to processes that depend on etching pits into the silicon, and thereby permits a high degree of design freedom. Multilayer aluminum metallization is used with organic sacrificial layers to build up the actuator structures. Oxygen-based dry etching is used to remove the sacrificial layers. While this approach has been previously used by other investigators to fabricate optical modulators and displays, the specific process presented herein has been optimized for driving mechanical actuators with relatively large travels. The process is also intended to provide flexibility for design and future enhancements. For example, the gap height between the actuator and the underlying electrode(s) can be set using an adjustable polyimide sacrificial layer and aluminum “post” deposition step. Several Al-MEMS electrostatic structures designed for use as mechanical actuators are presented as well as some measured actuation characteristics     

Ensuring IT Consulting SERVQUAL and User Satisfaction: A Modified Measurement Tool

This paper provides the newly developed IT consulting SERVQUAL measurement tool. In an attempt to measure the IS customers' perceived quality of the consulting services they received, the researchers developed a diagnostic tool of SERVQUAL based on the solid theoretical background, which can specifically be applied to the IT consulting service sector. It is composed of 6 dimensions of reliability, responsiveness, assurance, empathy, process and education, and the former four are derived from IT SERVQUAL and the latter two are added to consider the characteristics of IT consulting service.To develop IT consulting SERVQUAL, 7 consultants having over the 10 years careers, 3 customers having much experienced of consulting service, and 2 professors majoring in MIS have examined the constructs and the items of questionnaires. And this research had been applied to 86 respondents of 42 different organizations that had received IT consulting services over 2 past years to ensure the validation of this tool. The correlation and the factor analyses were conducted for validation of the measurement tool.The results indicated that six different areas in the measurement tool are significantly related with level of the customer satisfaction in spite of their few problems in its validation and its application in the field will be helpful to identify their problems and make plans for advancement.     

SSPQL: Stochastic shortest path-based Q-learning

Reinforcement learning (RL) has been widely used as a mechanism for autonomous robots to learn state-action pairs by interacting with their environment. However, most RL methods usually suffer from slow convergence when deriving an optimum policy in practical applications. To solve this problem, a stochastic shortest path-based Q-learning (SSPQL) is proposed, combining a stochastic shortest path-finding method with Q-learning, a well-known model-free RL method. The rationale is, if a robot has an internal state-transition model which is incrementally learnt, then the robot can infer the local optimum policy by using a stochastic shortest path-finding method. By increasing state-action pair values comprising of these local optimum policies, a robot can then reach a goal quickly and as a result, this process can enhance convergence speed. To demonstrate the validity of this proposed learning approach, several experimental results are presented in this paper.     

Effectiveness of MMORPG‐based instruction in elementary English education in Korea

This study investigated the effectiveness of massive multiplayer online role‐playing game (MMORPG)‐based (massive multiplayer online role‐playing game) instruction in elementary English education. The effectiveness of the MMORPG program was compared with face‐to‐face instruction and the independent variables (gender, prior knowledge, motivation for learning, self‐directed learning skills, computer skills, game skills, computer capacity, network speed, and computer accessibility) were examined to see how accurately achievement was predicted in MMORPG instruction. The results indicated that students studying English utilizing online role‐playing games showed higher scores in areas of listening, reading, and writing than those who attended face‐to‐face instruction classes. It was also found that prior knowledge, motivation for learning, and network speed were factors affecting achievement in English learning. These findings suggest that MMORPGs can play an important role in improving English communicative skills.     

A modular and parameterized presentation of pregroup calculus

The concept of pregroup was introduced by Lambek for natural language analysis, with a close link to non-commutative linear logic. We reformulate the pregroup calculus so as to extend it by composition with other logics and calculi. The cut elimination property and the decidability property of the sequent calculus proposed in the article are shown. Properties of composed calculi are also discussed.