This research aims to create an MECE (Mutually Exclusive, Collectively Exhaustive) categorisation method for typing errors. The research is grounded in theory by gathering typing error types found in both HCI and psychology literature. Empirical studies gathering typing errors from children are used to validate these error types. It is hoped that at a later date, this categorisation method can ...

In this paper, we introduce the concepts of n-fold obstinate pseudo-hoop and n-fold obstinate filter in pseudo-hoops. Then we investigated these notions and proved some properties of them. Also, we discussed the relationship between n-fold obstinate pseudo-hoop and n-fold obstinate filter and other types of n-fold pseudo-hoops and n-fold filters such as n-fold (positive) implicative filter and ...

Gradual typing enables both static and dynamic typing in the same program and makes it convenient to migrate code regions between the two typing disciplines. One goal of gradual typing is to provide all the benefits of static typing, such as efficiency, in statically-typed regions. However, this goal is elusive: the standard approach to mutable references imposes run-time overhead in statically...

We further study the filter theory of pseudo-BL algebras.We give some equivalent conditions of filter, normal filter and Boolean filter. We introduce the notion of pseudo MV-filter, pseudo-G filter and characterize Boolean algebras, pseudo-MV algebras and pseudo Gödel algebras (i.e. Gödel algebras) in pseudo-BL algebras. We establish the connections between BCC-algebras, pseudo-BCK algebras, ps...

conclusions these findings illustrated the presence and persistence of clonal groups of mrsa strains, in chicken meat in isfahan, iran, that serve as reservoirs to disseminate bacteriophage encoded enterotoxin and virulence agents. results all 116 isolated mrsa strains were discriminated into seven php types consisting of seven common types (cts) and were positive for meca gene. all isolates ha...

conclusions the inter- and intra-hospital dissemination of resistant clones is a matter of concern and is an indicator of the level of the improvement and surveillance of standard hygiene, particularly disinfection and hand washing before and after contact with patients. given the emergence of mbl-producing strains, surveillance has become an important procedure to control the transmission of r...

We study the performance and user experience of two popular mainstream text entry devices, desktop keyboards and touchscreen keyboards, for use in Virtual Reality (VR) applications. We discuss the limitations arising from limited visual feedback, and examine the efficiency of different strategies of use. We analyze a total of 24 hours of typing data in VR from 24 participants and find that novi...

In the Microbial typing field, the need to have a common understanding of the concepts described and the ability to share results within the community is an increasingly important requisite for the continued development of portable and accurate sequence-based typing methods. These methods are used for bacterial strain identification and are fundamental tools in Clinical Microbiology and Bacteri...

We study a typing assignment system for the higher-order-calculus. The system proposed is a straightforward extension of the typing system for the polyadic-calculus proposed by Kohei Honda and the author 6], by introducing a new type constructor for agents (i.e., processes abstracted on some sequence of names and variables.) We also present an eecient typing reconstruction algorithm to extract ...