Treatment of unawareness of memory deficits in adults with brain injury: Three case studies.

Examined the use of an intervention for reducing unawareness of memory deficits in 3 male adults (aged 20–25 yrs) with brain injury. High predicted test scores on a brief multiparametric memory test, relative to actual test scores, were considered underestimations of symptom severity (unawareness). An estimation technique, feedback, and explicit positive reinforcement for decreases in discrepancies between predicted and actual scores were used to reduce unawareness. Differences between Ss' predicted and actual scores decreased over time following treatment for all Ss. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Tributary use and large-scale movements of grass carp in Lake Erie

Infrequent captures of invasive, non-native grass carp (Ctenopharyngodon idella) have occurred in Lake Erie over the last 30+ years, with recent evidence suggesting wild reproduction in the lake’s western basin (WB) is occurring. Information on grass carp movements in the Laurentian Great Lakes is lacking, but an improved understanding of large-scale movements and potential areas of aggregation will help inform control strategies and risk assessment if grass carp spread to other parts of Lake Erie and other Great Lakes. Twenty-three grass carp captured in Lake Erie’s WB were implanted with acoustic transmitters and released. Movements were monitored with acoustic receivers deployed throughout Lake Erie and elsewhere in the Great Lakes. Grass carp dispersed up to 236 km, with approximately 25% of fish dispersing greater than 100 km from their release location. Mean daily movements ranged from <0.01 to 2.49 km/day, with the highest daily averages occurring in the spring and summer. The Sandusky, Detroit, and Maumee Rivers, and Plum Creek were the most heavily used WB tributaries. Seventeen percent of grass carp moved into Lake Erie’s central or eastern basins, although all fish eventually returned to the WB. One fish emigrated from Lake Erie through the Huron-Erie Corridor and into Lake Huron. Based on our results, past assessments may have underestimated the potential for grass carp to spread in the Great Lakes. We recommend focusing grass carp control efforts on Sandusky River and Plum Creek given their high use by tagged fish, and secondarily on Maumee and Detroit Rivers.     

Inquiry-based mobile learning in secondary school science education: A systematic review

Recent years have seen a growing call for inquiry-based learning in science education, and mobile technologies are perceived as increasingly valuable tools to support this approach. However, there is a lack of understanding of mobile technology-supported inquiry-based learning (mIBL) in secondary science education. More evidence-based, nuanced insights are needed into how using mobile technologies might facilitate students' engagement with various levels of inquiry and enhance their science learning. We, therefore, conducted a robust systematic literature review (SLR) of the research articles on mIBL in secondary school science education that have been published from 2000 to 2019. We reviewed and analysed 31 empirical studies (34 articles) to explore the types of mIBL, and the benefits and constraints of mIBL in secondary school science education. The findings of this SLR suggest new research areas for further exploration and provide implications for science teachers' selection, use and design of mIBL approaches in their teaching.     

Incremental Composition in Distributional Semantics

Journal of Logic, Language and Information - Despite the incremental nature of Dynamic Syntax (DS), the semantic grounding of it remains that of predicate logic, itself grounded in set theory, so...     

gain bounds for systems with sector bounded and slope‐restricted nonlinearities

This paper proposes a new method for calculating a bound on the gain of a system comprising a linear time invariant part and a static nonlinear part, which is odd, bounded, zero at zero and has a restriction on its slope. The nonlinear part is also assumed to be sector bounded, with the sector bound being (possibly) different from that implied by the slope restriction. The computation of the gain bound is found by solving a set of linear matrix inequalities, which arise from an integral quadratic constraint formulation of a multiplier problem involving both Zames‐Falb and Popov multipliers. Examples illustrate the effectiveness of the results, and comparisons are made against the state‐of‐the‐art. Copyright © 2011 John Wiley & Sons, Ltd.     

Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking

Breakdowns in complex systems often occur as a result of system elements interacting in unanticipated ways. In systems with human operators, human–automation interaction associated with both normative and erroneous human behavior can contribute to such failures. Model-driven design and analysis techniques provide engineers with formal methods tools and techniques capable of evaluating how human behavior can contribute to system failures. This paper presents a novel method for automatically generating task analytic models encompassing both normative and erroneous human behavior from normative task models. The generated erroneous behavior is capable of replicating Hollnagel's zero-order phenotypes of erroneous action for omissions, jumps, repetitions, and intrusions. Multiple phenotypical acts can occur in sequence, thus allowing for the generation of higher order phenotypes. The task behavior model pattern capable of generating erroneous behavior can be integrated into a formal system model so that system safety properties can be formally verified with a model checker. This allows analysts to prove that a human–automation interactive system (as represented by the model) will or will not satisfy safety properties with both normative and generated erroneous human behavior. We present benchmarks related to the size of the statespace and verification time of models to show how the erroneous human behavior generation process scales. We demonstrate the method with a case study: the operation of a radiation therapy machine. A potential problem resulting from a generated erroneous human action is discovered. A design intervention is presented which prevents this problem from occurring. We discuss how our method could be used to evaluate larger applications and recommend future paths of development.     

Switching to Directional Antennas with Constant Increase in Radius and Hop Distance

For any angle α<2π, we show that any connected communication graph that is induced by a set P of n transceivers using omni-directional antennas of radius 1, can be replaced by a strongly connected communication graph, in which each transceiver in P is equipped with a directional antenna of angle α and radius r _dir, for some constant r _dir=r _dir(α). Moreover, the new communication graph is a c-spanner of the original graph, for some constant c=c(α), with respect to number of hops.     

Context matters: The structure of task goals affects accuracy in multiple-target visual search

Career visual searchers such as radiologists and airport security screeners strive to conduct accurate visual searches, but despite extensive training, errors still occur. A key difference between searches in radiology and airport security is the structure of the search task: Radiologists typically scan a certain number of medical images (fixed objective), and airport security screeners typically search X-rays for a specified time period (fixed duration). Might these structural differences affect accuracy? We compared performance on a search task administered either under constraints that approximated radiology or airport security. Some displays contained more than one target because the presence of multiple targets is an established source of errors for career searchers, and accuracy for additional targets tends to be especially sensitive to contextual conditions. Results indicate that participants searching within the fixed objective framework produced more multiple-target search errors; thus, adopting a fixed duration framework could improve accuracy for career searchers.     

LoVis: Local Pattern Visualization for Model Refinement

Linear models are commonly used to identify trends in data. While it is an easy task to build linear models using pre‐selected variables, it is challenging to select the best variables from a large number of alternatives. Most metrics for selecting variables are global in nature, and thus not useful for identifying local patterns. In this work, we present an integrated framework with visual representations that allows the user to incrementally build and verify models in three model spaces that support local pattern discovery and summarization: model complementarity, model diversity, and model representivity. Visual representations are designed and implemented for each of the model spaces. Our visualizations enable the discovery of complementary variables, i.e., those that perform well in modeling different subsets of data points. They also support the isolation of local models based on a diversity measure. Furthermore, the system integrates a hierarchical representation to identify the outlier local trends and the local trends that share similar directions in the model space. A case study on financial risk analysis is discussed, followed by a user study.     

Fear Appeals,Message Processing Cues,and Credibility in the Websites of Violent,Ideological, and Nonideological Groups

Ideological groups use the Internet to deliver their messages unhindered by the constraints of traditional media. We examined how ideological groups promote their worldview through their websites. Using the elaboration likelihood model (ELM), this research used trained coders to examine the websites of nonideological groups (n = 37), nonviolent ideological groups (n = 36), and violent ideological groups (n = 32) for credibility, persuasion processing cues, and interactivity factors. Results of this study found that the websites of violent ideological groups use more fear appeals, were less interactive, and were the least credible of the 3 groups. All 3 groups used more central cues than peripheral suggesting they focused on evidence for their arguments rather than emotion.