72 research outputs found

    Static Partitioning of Spreadsheets for Parallel Execution

    Get PDF

    The KINDRA project – towards Open Science in Hydrogeology for higher impact

    Get PDF
    Groundwater knowledge and research in the European Union is often scattered and non-standardised. Therefore, KINDRA is conducting an EU-wide assessment of existing groundwater-related practical and scientific knowledge based on a new Hydrogeological Research Classification System (HRC-SYS). The classification is supported by a web service, the European Inventory of Groundwater Research (EIGR), which acts not only as a knowledge repository but also as a tool to help identify relevant research topics, existing research trends and critical research challenges. These results will be useful for producing synergies, implementing policies and optimising water management in Europe. This article presents the work of the project during the first two years in relation to a common classification system and an activity for data collection and training delivered by the EFG’s National Associations in 20 European countries

    Abstracting Extensible Data Types: Or, Rows by Any Other Name

    Get PDF
    We present a novel typed language for extensible data types, generalizing and abstracting existing systems of row types and row polymorphism. Extensible data types are a powerful addition to traditional functional programming languages, capturing ideas from OOP-like record extension and polymorphism to modular compositional interpreters. We introduce row theories, a monoidal generalization of row types, giving a general account of record concatenation and projection (dually, variant injection and branching). We realize them via qualified types, abstracting the interpretation of records and variants over different row theories. Our approach naturally types terms untypable in other systems of extensible data types, while maintaining strong metatheoretic properties, such as coherence and principal types. Evidence for type qualifiers has computational content, determining the implementation of record and variant operations; we demonstrate this in giving a modular translation from our calculus, instantiated with various row theories, to polymorphic λ -calculus

    High Expression of Wee1 Is Associated with Poor Disease-Free Survival in Malignant Melanoma: Potential for Targeted Therapy

    Get PDF
    Notoriously resistant malignant melanoma is one of the most increasing forms of cancer worldwide; there is thus a precarious need for new treatment options. The Wee1 kinase is a major regulator of the G2/M checkpoint, and halts the cell cycle by adding a negative phosphorylation on CDK1 (Tyr15). Additionally, Wee1 has a function in safeguarding the genome integrity during DNA synthesis. To assess the role of Wee1 in development and progression of malignant melanoma we examined its expression in a panel of paraffin-embedded patient derived tissue of benign nevi and primary- and metastatic melanomas, as well as in agarose-embedded cultured melanocytes. We found that Wee1 expression increased in the direction of malignancy, and showed a strong, positive correlation with known biomarkers involved in cell cycle regulation: Cyclin A (p<0.0001), Ki67 (p<0.0001), Cyclin D3 (p = 0.001), p21Cip1/WAF1 (p = 0.003), p53 (p = 0.025). Furthermore, high Wee1 expression was associated with thicker primary tumors (p = 0.001), ulceration (p = 0.005) and poor disease-free survival (p = 0.008). Transfections using siWee1 in metastatic melanoma cell lines; WM239WTp53, WM45.1MUTp53 and LOXWTp53, further support our hypothesis of a tumor promoting role of Wee1 in melanomas. Whereas no effect was observed in LOX cells, transfection with siWee1 led to accumulation of cells in G1/S and S phase of the cell cycle in WM239 and WM45.1 cells, respectively. Both latter cell lines displayed DNA damage and induction of apoptosis, in the absence of Wee1, indicating that the effect of silencing Wee1 may not be solely dependent of the p53 status of the cells. Together these results reveal the importance of Wee1 as a prognostic biomarker in melanomas, and indicate a potential role for targeted therapy, alone or in combination with other agents

    Marine mammals and Good Environmental Status: Science, Policy and Society; Challenges and Opportunities

    Get PDF
    The Marine Strategy Framework Directive has become the key instrument for marine conservation in European seas. We review its implementation, focusing on cetacean biodiversity, using the examples of Spain and the Regional Seas Convention, OSPAR. The MSFD has been widely criticised for legal vagueness, lack of coordination, uncertainty about funding, and poor governance; its future role within EU Integrated Maritime Policy remains unclear. Nevertheless, the first stages of the process have run broadly to schedule: current status, environmental objectives and indicators have been described and the design of monitoring programmes is in progress, drawing on experience with other environmental legislation. The MSFD is now entering its critical phase, with lack of funding for monitoring, limited scope for management interventions, and uncertainty about how conservation objectives will be reconciled with the needs of other marine and maritime sectors, being among the main concerns. Clarity in governance, about the roles of the EU, Member States, Regional Seas Conventions and stakeholders, is needed to ensure success. However, even if (as seems likely) good environmental status cannot be achieved by 2020, significant steps will have been taken to place environmental sustainability centre-stage in the development of Integrated Maritime Policy for EU seas.Postprin
    • …
    corecore