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.     

Coagulation Signaling through PAR1 as a Therapeutic Target in Pancreatic Ductal Adenocarcinoma

Pancreatic ductal adenocarcinoma (PDAC) is a highly fatal disease with a 5-year survival rate of less than 10% following diagnosis. The aggressive and invasive properties of pancreatic cancer tumors coupled with poor diagnostic options contribute to the high mortality rate since most patients present with late-stage disease. Accordingly, PDAC is linked to the highest rate of cancer-associated venous thromboembolic disease of all solid tumor malignancies. However, in addition to promoting clot formation, recent studies suggest that the coagulation system in PDAC mediates a reciprocal relationship, whereby coagulation proteases and receptors promote PDAC tumor progression and dissemination. Here, upregulation of tissue factor (TF) by tumor cells can drive local generation of the central coagulation protease thrombin that promotes cell signaling activity through protease-activated receptors (PARs) expressed by both tumor cells and multiple stromal cell subsets. Moreover, the TF-thrombin-PAR1 signaling axis appears to be a major mechanism of cancer progression in general and PDAC in particular. Here, we summarize the current literature regarding the role of PAR1 in PDAC and review possibilities for pharmacologically targeting PAR1 as a PDAC therapeutic approach.     

Plasma Metabolomics Analysis of Polyvinyl Chloride Workers Identifies Altered Processes and Candidate Biomarkers for Hepatic Hemangiosarcoma and Its Development

Background: High-level occupational vinyl chloride (VC) exposures have been associated with hepatic hemangiosarcoma, which typically develops following a long latency period. Although VC is genotoxic, a more comprehensive mode of action has not been determined and diagnostic biomarkers have not been established. The purpose of this study is to address these knowledge gaps through plasma metabolomics. Methods: Plasma samples from polyvinyl chloride polymerization workers who developed hemangiosarcoma (cases, n = 15) and VC exposure-matched controls (n = 17) underwent metabolomic analysis. Random forest and bioinformatic analyses were performed. Results: Cases and controls had similar demographics and routine liver biochemistries. Mass spectroscopy identified 606 known metabolites. Random forest analysis had an 82% predictive accuracy for group classification. 60 metabolites were significantly increased and 44 were decreased vs. controls. Taurocholate, bradykinin and fibrin degradation product 2 were up-regulated by greater than 80-fold. The naturally occurring anti-angiogenic phenol, 4-hydroxybenzyl alcohol, was down-regulated 5-fold. Top affected ontologies involved: (i) metabolism of bile acids, taurine, cholesterol, fatty acids and amino acids; (ii) inflammation and oxidative stress; and (iii) nicotinic cholinergic signaling. Conclusions: The plasma metabolome was differentially regulated in polyvinyl chloride workers who developed hepatic hemangiosarcoma. Ontologies potentially involved in hemangiosarcoma pathogenesis and candidate biomarkers were identified.     

The ageing Australian firefighter: an argument for age-based recruitment and fitness standards for urban fire services

Currently, there is no enforcement of physical standards within Australian fire services post-recruitment, possibly leading to inappropriate fitness and body composition. This study evaluated the impacts of ageing on physical standards of Australian firefighters. Seventy-three firefighters from three different 10-year age groups [25–34 years (n = 27), 35–44 years (n = 27), 45–54 years (n = 19)] volunteered for physical testing using dual-energy X-ray analysis and existing fitness tests used for recruitment by an Australian fire service. Older (45–54 years) participants demonstrated significantly poorer physical standards compared with younger participants including cardiovascular fitness (p < 0.05), strength (p = 0.001) and simulated operational power testing tasks (p < 0.001). Age-related body composition changes were also observed independent of body mass index. Minimum recruitment standards and fitness programs need to account for age-related declines in physical capabilities to ensure that the minimum standard is maintained regardless of age.

Practitioner Summary: Using dual-energy X-ray analysis and established fitness testing protocols, this study aimed to gain an appreciation of the current standards of body composition and fitness of Australian firefighters and the effects of ageing on their physical abilities post-recruitment. The study demonstrated a significant decline in physical standards due to age.     

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.     

Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks

This paper investigates the design of fault-tolerant TDMA-based data aggregation scheduling (DAS) protocols for wireless sensor networks (WSNs). DAS is a fundamental pattern of communication in wireless sensor networks where sensor nodes aggregate and relay data to a sink node. However, any such DAS protocol needs to be cognisant of the fact that crash failures can occur. We make the following contributions: (i) we identify a necessary condition to solve the DAS problem, (ii) we introduce a strong and weak version of the DAS problem, (iii) we show several impossibility results due to the crash failures, (iv) we develop a modular local algorithm that solves stabilising weak DAS and (v) we show, through simulations and an actual deployment on a small testbed, how specific instantiations of parameters can lead to the algorithm achieving very efficient stabilisation.