Dissecting Representations

Choosing effective representations for a problem and for the person solving it has benefits, including the ability or inability to solve it. We previously devised a novel framework consisting of a language to describe representations and computational methods to analyse them in terms of their formal and cognitive properties. In this paper we demonstrate the application of this framework to a variety of notations including natural languages, formal languages, and diagrams. We show how our framework, and the analysis of representations that it enables, gives us insight into how and why we can select representations which are appropriate for both the task and the user

Maximum Power Point Tracking for Cascaded PV-Converter Modules Using Two-Stage Particle Swarm Optimization

The paper presents a novel two-stage particle swarm optimization (PSO) for the maximum power point tracking (MPPT) control of a PV system consisting of cascaded PV-converter modules, under partial shading conditions (PSCs). In this scheme, the grouping method of the shuffled frog leaping algorithm (SFLA) is incorporated with the basic PSO algorithm, ensuring fast and accurate searching of the global extremum. An adaptive speed factor is also introduced to improve its convergence speed. A PWM algorithm enabling permuted switching of the PV sources is applied. The method enables this PV system to achieve the maximum power generation for any number of PV and converter modules. Simulation studies of the proposed MPPT scheme are performed on a system having two chained PV buck-converter modules and a dc-ac H-bridge connected at its terminals for supplying an AC load. The results show that this type of PV system allows each module to achieve the maximum power generation according its illumination level without affecting the others, and the proposed new control method gives significantly higher power output compared with the conventional P&O and PSO methods

Efficiency improvement by navigated safety inspection involving visual clutter based on the random search model.

Navigated inspection seeks to improve hazard identification (HI) accuracy. With tight inspection schedule, HI also requires efficiency. However, lacking quantification of HI efficiency, navigated inspection strategies cannot be comprehensively assessed. This work aims to determine inspection efficiency in navigated safety inspection, controlling for the HI accuracy. Based on a cognitive method of the random search model (RSM), an experiment was conducted to observe the HI efficiency in navigation, for a variety of visual clutter (VC) scenarios, while using eye-tracking devices to record the search process and analyze the search performance. The results show that the RSM is an appropriate instrument, and VC serves as a hazard classifier for navigation inspection in improving inspection efficiency. This suggests a new and effective solution for addressing the low accuracy and efficiency of manual inspection through navigated inspection involving VC and the RSM. It also provides insights into the inspectors' safety inspection ability

Tunable Multifunctional Topological Insulators in Ternary Heusler Compounds

Recently the Quantum Spin Hall effect (QSH) was theoretically predicted and experimentally realized in a quantum wells based on binary semiconductor HgTe[1-3]. QSH state and topological insulators are the new states of quantum matter interesting both for fundamental condensed matter physics and material science[1-11]. Many of Heusler compounds with C1b structure are ternary semiconductors which are structurally and electronically related to the binary semiconductors. The diversity of Heusler materials opens wide possibilities for tuning the band gap and setting the desired band inversion by choosing compounds with appropriate hybridization strength (by lattice parameter) and the magnitude of spin-orbit coupling (by the atomic charge). Based on the first-principle calculations we demonstrate that around fifty Heusler compounds show the band inversion similar to HgTe. The topological state in these zero-gap semiconductors can be created by applying strain or by designing an appropriate quantum well structure, similar to the case of HgTe. Many of these ternary zero-gap semiconductors (LnAuPb, LnPdBi, LnPtSb and LnPtBi) contain the rare earth element Ln which can realize additional properties ranging from superconductivity (e. g. LaPtBi[12]) to magnetism (e. g. GdPtBi[13]) and heavy-fermion behavior (e. g. YbPtBi[14]). These properties can open new research directions in realizing the quantized anomalous Hall effect and topological superconductors.Comment: 20 pages, 5 figure

Different definition of sarcopenia and mortality in cancer: A meta-analysis

Objectives: Sarcopenia has been an emerging theme in clinical oncology. Various definitions of sarcopenia have been proposed, but their prognostic performance have yet to be evaluated and compared. The aim of this meta-analysis is to comprehensively evaluate the performance of different cutoff definitions of sarcopenia in cancer mortality prognostication. / Methods: This is a meta-analysis. Cohort studies on lean mass and mortality published before December 20, 2017 were obtained by systematic search on PubMed, Cochrane Library, and Embase. Inclusion criteria were cohort studies reporting binary lean mass categorized according to clearly defined cutoffs, and with all-cause mortality as study outcome. Studies were stratified according to the cutoff(s) used in defining low lean mass. The cutoff-specific hazard ratios (HRs) and 95% confidence intervals (CIs) of low lean mass on cancer mortality were pooled with a random-effects model and compared. / Results: Altogether 81 studies that studied binary lean mass were included. The pooled HRs on cancer mortality using the 3 most used definitions were: 1.74 (95% CI, 1.46–2.07) using the definition proposed by International Consensus of Cancer Cachexia, 1.45 (95% CI, 1.21–1.75) using that by Martin, and 1.58 (95% CI, 1.35–1.84) using that by Prado. The associations between sarcopenia and cancer mortality using other definitions were all statistically significant, despite different estimates were observed. / Conclusions: The association of low lean mass with increased mortality was consistent across different definitions; this provides further evidence on the poorer survival in cancer patients with sarcopenia. However, further studies evaluating the performance of each definition are warranted

Empirical Analysis of Factors Affecting Confirmation Bias Levels of Software Engineers

Confirmation bias is defined as the tendency of people to seek evidence that verifies a hypothesis rather than seeking evidence to falsify it. Due to the confirmation bias, defects may be introduced in a software product during requirements analysis, design, implementation and/or testing phases. For instance, testers may exhibit confirmatory behavior in the form of a tendency to make the code run rather than employing a strategic approach to make it fail. As a result, most of the defects that have been introduced in the earlier phases of software development may be overlooked leading to an increase in software defect density. In this paper, we quantify confirmation bias levels in terms of a single derived metric. However, the main focus of this paper is the analysis of factors affecting confirmation bias levels of software engineers. Identification of these factors can guide project managers to circumvent negative effects of confirmation bias, as well as providing guidance for the recruitment and effective allocation of software engineers. In this empirical study, we observed low confirmation bias levels among participants with logical reasoning and hypothesis testing skills

Associations of sitting accumulation patterns with cardio-metabolic risk biomarkers in Australian adults

Backgroun

Transcriptomics reveal an integrative role for maternal thyroid hormones during zebrafish embryogenesis

Thyroid hormones (THs) are essential for embryonic brain development but the genetic mechanisms involved in the action of maternal THs (MTHs) are still largely unknown. As the basis for understanding the underlying genetic mechanisms of MTHs regulation we used an established zebrafish monocarboxylic acid transporter 8 (MCT8) knock-down model and characterised the transcriptome in 25hpf zebrafish embryos. Subsequent mapping of differentially expressed genes using Reactome pathway analysis together with in situ expression analysis and immunohistochemistry revealed the genetic networks and cells under MTHs regulation during zebrafish embryogenesis. We found 4,343 differentially expressed genes and the Reactome pathway analysis revealed that TH is involved in 1681 of these pathways. MTHs regulated the expression of core developmental pathways, such as NOTCH and WNT in a cell specific context. The cellular distribution of neural MTH-target genes demonstrated their cell specific action on neural stem cells and differentiated neuron classes. Taken together our data show that MTHs have a role in zebrafish neurogenesis and suggest they may be involved in cross talk between key pathways in neural development. Given that the observed MCT8 zebrafish knockdown phenotype resembles the symptoms in human patients with Allan-Herndon-Dudley syndrome our data open a window into understanding the genetics of this human congenital condition.Portuguese Fundacao para Ciencia e Tecnologia (FCT) [PTDC/EXPL/MARBIO/0430/2013]; CCMAR FCT Plurianual financing [UID/Multi/04326/2013]; FCT [SFRH/BD/111226/2015, SFRH/BD/108842/2015, SFRH/BPD/89889/2012]; FCT-IF Starting Grant [IF/01274/2014]info:eu-repo/semantics/publishedVersio

Upregulated sirtuin 1 by miRNA-34a is required for smooth muscle cell differentiation from pluripotent stem cells

© 2015 Macmillan Publishers Limited. All rights reserved. microRNA-34a (miR-34a) and sirtuin 1 (SirT1) have been extensively studied in tumour biology and longevityaging, but little is known about their functional roles in smooth muscle cell (SMC) differentiation from pluripotent stem cells. Using well-established SMC differentiation models, we have demonstrated that miR-34a has an important role in SMC differentiation from murine and human embryonic stem cells. Surprisingly, deacetylase sirtuin 1 (SirT1), one of the top predicted targets, was positively regulated by miR-34a during SMC differentiation. Mechanistically, we demonstrated that miR-34a promoted differentiating stem cells' arrest at G0G1 phase and observed a significantly decreased incorporation of miR-34a and SirT1 RNA into Ago2-RISC complex upon SMC differentiation. Importantly, we have identified SirT1 as a transcriptional activator in the regulation of SMC gene programme. Finally, our data showed that SirT1 modulated the enrichment of H3K9 tri-methylation around the SMC gene-promoter regions. Taken together, our data reveal a specific regulatory pathway that miR-34a positively regulates its target gene SirT1 in a cellular context-dependent and sequence-specific manner and suggest a functional role for this pathway in SMC differentiation from stem cells in vitro and in vivo