Methodology for the design of a student pattern recognition tool to facilitate the teaching - Learning process through knowledge data discovery (big data)

Imagine a platform in which the teacher can access to identify patterns in the learning styles of students attached to their course, and in turn this will allow you to know which pedagogical techniques to use in the teaching process - learning to increase the probability of success in your classroom?. What if this tool could be used by students to identify the teacher that best suits their learning style?. Yes, was the tool able to improve its prediction regarding academic performance as time passes? It is obvious that this would require specialized software in the handling of large data. This research-development aims to answer these questions, proposing a design methodology of a student pattern recognition tool to facilitate the teaching-learning process through Knowledge Data Discovery (Big Data). After an extensive document review and validation of experts in various areas of knowledge, the methodology obtained was structured in four phases: identification of patterns, analysis of the teaching-learning process, Knowledge Data Discovery and Development, implementation and validation of software

Support for Taverna workflows in the VPH-Share cloud platform

Background and objective: To address the increasing need for collaborative endeavours within the Virtual Physiological Human (VPH) community, the VPH-Share collaborative cloud platform allows researchers to expose and share sequences of complex biomedical processing tasks in the form of computational workflows. The Taverna Workflow System is a very popular tool for orchestrating complex biomedical & bioinformatics processing tasks in the VPH community. This paper describes the VPH-Share components that support the building and execution of Taverna workflows, and explains how they interact with other VPH-Share components to improve the capabilities of the VPH-Share platform. Methods: Taverna workflow support is delivered by the Atmosphere cloud management platform and the VPH-Share Taverna plugin. These components are explained in detail, along with the two main procedures that were developed to enable this seamless integration: workflow composition and execution. Results: 1) Seamless integration of VPH-Share with other components and systems. 2) Extended range of different tools for workflows. 3) Successful integration of scientific workflows from other VPH projects. 4) Execution speed improvement for medical applications. Conclusion: The presented workflow integration provides VPH-Share users with a wide range of different possibilities to compose and execute workflows, such as desktop or online composition, online batch execution, multithreading, remote execution, etc. The specific advantages of each supported tool are presented, as are the roles of Atmosphere and the VPH-Share plugin within the VPH-Share project. The combination of the VPH-Share plugin and Atmosphere engenders the VPH-Share infrastructure with far more flexible, powerful and usable capabilities for the VPH-Share community. As both components can continue to evolve and improve independently, we acknowledge that further improvements are still to be developed and will be described

Regular symmetry patterns

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of "symmetry relations" ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorphisms). Our framework enjoys two algorithmic properties: (1) symmetry verification: given a transducer, we can automatically check whether it is a symmetry pattern of a given system, and (2) symmetry synthesis: we can automatically generate a symmetry pattern for a given system in the form of a transducer. Furthermore, our symbolic language allows additional constraints that the symmetry patterns need to satisfy to be easily incorporated in the verification/synthesis. We show how these properties can help identify symmetry patterns in examples like dining philosopher protocols, self-stabilising protocols, and prioritised resource-allocator protocol. In some cases (e.g. Gries's coffee can problem), our technique automatically synthesises a safety-preserving finite approximant, which can then be verified for safety solely using a finite-state model checker.UPMAR

Fibroblast-derived MT1-MMP promotes tumor progression in vitro and in vivo

BACKGROUND: Identification of fibroblast derived factors in tumor progression has the potential to provide novel molecular targets for modulating tumor cell growth and metastasis. Multiple matrix metalloproteases (MMPs) are expressed by both mesenchymal and epithelial cells within head and neck squamous cell carcinomas (HNSCCs), but the relative importance of these enzymes and the cell source is the subject of controversy. METHODS: The invasive potential of HNSCC tumor cells were assessed in vitro atop type I collagen gels in coculture with wild-type (WT), MMP-2 null, MMP-9 null or MT1-MMP null fibroblasts. A floor of mouth mouse model of HNSCC was used to assess in vivo growth after co-injection of FaDu tumor cells with MMP null fibroblasts. RESULTS: Here we report changes in tumor phenotype when FaDu HNSCCs cells are cocultured with WT, MMP-2 null, MMP-9 null or MT1-MMP null fibroblasts in vitro and in vivo. WT, MMP-2 null and MMP-9 null fibroblasts, but not MT1-MMP null fibroblasts, spontaneously invaded into type I collagen gels. WT fibroblasts stimulated FaDu tumor cell invasion in coculture. This invasive phenotype was unaffected by combination with MMP-9 null fibroblasts, reduced with MMP-2 null fibroblasts (50%) and abrogated in MT1-MMP null fibroblasts. Co-injection of FaDu tumor cells with fibroblasts in an orthotopic oral cavity SCID mouse model demonstrated a reduction of tumor volume using MMP-9 and MMP-2 null fibroblasts (48% and 49%, respectively) compared to WT fibroblasts. Consistent with in vitro studies, MT1-MMP null fibroblasts when co-injected with FaDu cells resulted in a 90% reduction in tumor volume compared to FaDu cells injected with WT fibroblasts. CONCLUSION: These data suggest a role for fibroblast-derived MMP-2 and MT1-MMP in HNSCC tumor invasion in vitro and tumor growth in vivo

Identifying the physical features of marina infrastructure associated with the presence of non-native species in the UK

Marine invasive non-native species (NNS) are one of the greatest threats to global marine biodiversity, causing significant economic and social impacts. Marinas are increasingly recognised as key reservoirs for invasive NNS. They provide submersed artificial habitat that unintentionally supports the establishment of NNS introduced from visiting recreational vessels. While ballast water and shipping vectors have been well documented, the role of recreational vessels in spreading NNS has been relatively poorly studied. Identification of the main physical features found within marinas, which relate to the presence of NNS, is important to inform the development of effective biosecurity measures and prevent further spread. Towards this aim, physical features that could influence the presence of NNS were assessed for marinas throughout the UK in July 2013. Thirty-three marine and brackish NNS have been recorded in UK marinas, and of the 88 marinas studied in detail, 83 contained between 1 and 13 NNS. Significant differences in freshwater input, marina entrance width and seawall length were associated with the presence of NNS. Additionally, questionnaires were distributed to marina managers and recreational vessel owners to understand current biosecurity practices and attitudes to recreational vessel biosecurity. The main barriers to biosecurity compliance were cited as cost and time. Further work identifying easily distinguished features of marinas could be used as a proxy to assess risk of invasion. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00227-016-2941-8) contains supplementary material, which is available to authorized users

Identification of Plasmodium vivax Proteins with Potential Role in Invasion Using Sequence Redundancy Reduction and Profile Hidden Markov Models

BACKGROUND: This study describes a bioinformatics approach designed to identify Plasmodium vivax proteins potentially involved in reticulocyte invasion. Specifically, different protein training sets were built and tuned based on different biological parameters, such as experimental evidence of secretion and/or involvement in invasion-related processes. A profile-based sequence method supported by hidden Markov models (HMMs) was then used to build classifiers to search for biologically-related proteins. The transcriptional profile of the P. vivax intra-erythrocyte developmental cycle was then screened using these classifiers. RESULTS: A bioinformatics methodology for identifying potentially secreted P. vivax proteins was designed using sequence redundancy reduction and probabilistic profiles. This methodology led to identifying a set of 45 proteins that are potentially secreted during the P. vivax intra-erythrocyte development cycle and could be involved in cell invasion. Thirteen of the 45 proteins have already been described as vaccine candidates; there is experimental evidence of protein expression for 7 of the 32 remaining ones, while no previous studies of expression, function or immunology have been carried out for the additional 25. CONCLUSIONS: The results support the idea that probabilistic techniques like profile HMMs improve similarity searches. Also, different adjustments such as sequence redundancy reduction using Pisces or Cd-Hit allowed data clustering based on rational reproducible measurements. This kind of approach for selecting proteins with specific functions is highly important for supporting large-scale analyses that could aid in the identification of genes encoding potential new target antigens for vaccine development and drug design. The present study has led to targeting 32 proteins for further testing regarding their ability to induce protective immune responses against P. vivax malaria

Laparoscopy in management of appendicitis in high-, middle-, and low-income countries: a multicenter, prospective, cohort study.

BACKGROUND: Appendicitis is the most common abdominal surgical emergency worldwide. Differences between high- and low-income settings in the availability of laparoscopic appendectomy, alternative management choices, and outcomes are poorly described. The aim was to identify variation in surgical management and outcomes of appendicitis within low-, middle-, and high-Human Development Index (HDI) countries worldwide. METHODS: This is a multicenter, international prospective cohort study. Consecutive sampling of patients undergoing emergency appendectomy over 6 months was conducted. Follow-up lasted 30 days. RESULTS: 4546 patients from 52 countries underwent appendectomy (2499 high-, 1540 middle-, and 507 low-HDI groups). Surgical site infection (SSI) rates were higher in low-HDI (OR 2.57, 95% CI 1.33-4.99, p = 0.005) but not middle-HDI countries (OR 1.38, 95% CI 0.76-2.52, p = 0.291), compared with high-HDI countries after adjustment. A laparoscopic approach was common in high-HDI countries (1693/2499, 67.7%), but infrequent in low-HDI (41/507, 8.1%) and middle-HDI (132/1540, 8.6%) groups. After accounting for case-mix, laparoscopy was still associated with fewer overall complications (OR 0.55, 95% CI 0.42-0.71, p < 0.001) and SSIs (OR 0.22, 95% CI 0.14-0.33, p < 0.001). In propensity-score matched groups within low-/middle-HDI countries, laparoscopy was still associated with fewer overall complications (OR 0.23 95% CI 0.11-0.44) and SSI (OR 0.21 95% CI 0.09-0.45). CONCLUSION: A laparoscopic approach is associated with better outcomes and availability appears to differ by country HDI. Despite the profound clinical, operational, and financial barriers to its widespread introduction, laparoscopy could significantly improve outcomes for patients in low-resource environments. TRIAL REGISTRATION: NCT02179112

Pooled analysis of WHO Surgical Safety Checklist use and mortality after emergency laparotomy

Background The World Health Organization (WHO) Surgical Safety Checklist has fostered safe practice for 10 years, yet its place in emergency surgery has not been assessed on a global scale. The aim of this study was to evaluate reported checklist use in emergency settings and examine the relationship with perioperative mortality in patients who had emergency laparotomy. Methods In two multinational cohort studies, adults undergoing emergency laparotomy were compared with those having elective gastrointestinal surgery. Relationships between reported checklist use and mortality were determined using multivariable logistic regression and bootstrapped simulation. Results Of 12 296 patients included from 76 countries, 4843 underwent emergency laparotomy. After adjusting for patient and disease factors, checklist use before emergency laparotomy was more common in countries with a high Human Development Index (HDI) (2455 of 2741, 89.6 per cent) compared with that in countries with a middle (753 of 1242, 60.6 per cent; odds ratio (OR) 0.17, 95 per cent c.i. 0.14 to 0.21, P <0001) or low (363 of 860, 422 per cent; OR 008, 007 to 010, P <0.001) HDI. Checklist use was less common in elective surgery than for emergency laparotomy in high-HDI countries (risk difference -94 (95 per cent c.i. -11.9 to -6.9) per cent; P <0001), but the relationship was reversed in low-HDI countries (+121 (+7.0 to +173) per cent; P <0001). In multivariable models, checklist use was associated with a lower 30-day perioperative mortality (OR 0.60, 0.50 to 073; P <0.001). The greatest absolute benefit was seen for emergency surgery in low- and middle-HDI countries. Conclusion Checklist use in emergency laparotomy was associated with a significantly lower perioperative mortality rate. Checklist use in low-HDI countries was half that in high-HDI countries.Peer reviewe

Amazon tree dominance across forest strata

The forests of Amazonia are among the most biodiverse plant communities on Earth. Given the immediate threats posed by climate and land-use change, an improved understanding of how this extraordinary biodiversity is spatially organized is urgently required to develop effective conservation strategies. Most Amazonian tree species are extremely rare but a few are common across the region. Indeed, just 227 ‘hyperdominant’ species account for >50% of all individuals >10 cm diameter at 1.3 m in height. Yet, the degree to which the phenomenon of hyperdominance is sensitive to tree size, the extent to which the composition of dominant species changes with size class and how evolutionary history constrains tree hyperdominance, all remain unknown. Here, we use a large floristic dataset to show that, while hyperdominance is a universal phenomenon across forest strata, different species dominate the forest understory, midstory and canopy. We further find that, although species belonging to a range of phylogenetically dispersed lineages have become hyperdominant in small size classes, hyperdominants in large size classes are restricted to a few lineages. Our results demonstrate that it is essential to consider all forest strata to understand regional patterns of dominance and composition in Amazonia. More generally, through the lens of 654 hyperdominant species, we outline a tractable pathway for understanding the functioning of half of Amazonian forests across vertical strata and geographical locations