In this paper, we present ToneWars, a collaborative mobile game for learning Chinese as a Second Language (CSL). ToneWars provides a learning experience that combines mastery learning, microlearning, and group-based interaction between CSL learners and native speakers. The game explores how unique input modalities, like touch gestures and speech recognition, can improve language acquisition tas...

We introduce a framework and methodology of cooperative simultaneous localization and tracking (CoSLAT) in decentralized mobile agent networks. CoSLAT provides a consistent combination of cooperative self-localization (CSL) and distributed target tracking (DTT). Multiple mobile targets and mobile agents are tracked using pairwise measurements between agents and targets and between agents. We pr...

{112} 3 CSL grain boundary in silicon was investigated by high-resolution transmission electron microscopy (HRTEM) and ab-initio calculation. A {112} 3 CSL boundary consisted of two segments which differed in atomic structure. The segment near the connected corner to {111} 3 CSL boundary showed symmetric structure and the other long segment, being distant region from the corner, showed asymmetr...

Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinitestate continuous-time Markov chain. In this paper, we use the established continuous stochastic logic (CSL) to express properties of Markov population models. This allows us to express important measures of biological systems, such as...

Using Lorenz microscopy and small-angle electron diffraction, we directly present that the chiral magnetic soliton lattice (CSL) continuously evolves from a chiral helimagnetic structure in small magnetic fields in Cr(1/3)NbS2. An incommensurate CSL undergoes a phase transition to a commensurate ferromagnetic state at the critical field strength. The period of a CSL, which exerts an effective p...

Antibody screening is important for the antenatal screening and pre-transfusion tests. This study aimed to compare the MUT/Mur kodecytesAbtectcell III (CSL Abtectcell III) red cell antibody screening kit with DiaMed ID-Dia Cell I-II-III Asia that was then used in our laboratory. In this study, 125 samples were randomly chosen, with 67 samples of known antibody specificities and 58 samples ident...

The radial scar (RS) or complex sclerosing lesion (CSL) of the breast represents a management dilemma on diagnosis at breast core needle biopsy because of the risk of associated malignancy identified only upon surgical excision. To determine our experience, we retrospectively reviewed core needle biopsies performed at the Darlene G. Cass Breast Imaging Center from 2006 to 2011, identifying 67 p...

It is currently unclear whether tissue changes surrounding multifocal epithelial tumors are a cause or consequence of cancer. Here, we provide evidence that loss of mesenchymal Notch/CSL signaling causes tissue alterations, including stromal atrophy and inflammation, which precede and are potent triggers for epithelial tumors. Mice carrying a mesenchymal-specific deletion of CSL/RBP-Jκ, a key N...

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996 [1, 2]. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen [4, 5] presented an efficient polyno...