An Elementary Fragment of Second-Order Lambda Calculus

A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and stratified, i.e., the types are assigned levels, and a quantified variable can only be instantiated by a type of smaller level, with a slightly liberalized treatment of the level zero.Comment: 16 pages; correction

A robust 9-point ILU smoother for anisotropic problems

Discrete systems arising from elliptic PDEs can be solved efficiently using multigrid methods. In many cases of practical interest the resulting linear equations exhibit strong anisotropies. It is well-known that standard multigrid methods fail to work for this type of problems. Various ILU methods have been proposed and investigated to overcome these difficulties. To be applied successfully, they usually require a modification of the ILU iteration. Only in the particular case of a 7-point decomposition for a 5-point discretization no modification is needed. We give a new proof for this situation, showing in which way the smoothing property is related to the size of the restmatrix. The method is shown to carry over to 9-point finite element discretizations. Numerical experiments document the excellent smoothing properties

Analysis of the Numerical Solutions of the Elder Problem Using Big Data and Machine Learning

In this study, the numerical solutions to the Elder problem are analyzed using Big Data technologies and data-driven approaches. The steady-state solutions to the Elder problem are investigated with regard to Rayleigh numbers (Ra), grid sizes, perturbations, and other parameters of the system studied. The complexity analysis is carried out for the datasets containing different solutions to the Elder problem, and the time of the highest complexity of numerical solutions is estimated. An approach to the identification of transient fingers and the visualization of large ensembles of solutions is proposed. Predictive models are developed to forecast steady states based on early-time observations. These models are classified into three possible types depending on the features (predictors) used in a model. The numerical results of the prediction accuracy are given, including the estimated confidence intervals for the accuracy, and the estimated time of 95% predictability. Different solutions, their averages, principal components, and other parameters are visualized.publishedVersio

The emergence of the Gulf Stream and interior western boundary as key regions to constrain the future North Atlantic carbon uptake

In recent years, the growing number of available climate models and future scenarios has led to emergent constraints becoming a popular tool to constrain uncertain future projections. However, when emergent constraints are applied over large areas, it is unclear (i) if the well-performing models simulate the correct dynamics within the considered area, (ii) which key dynamical features the emerging constraint is stemming from, and (iii) if the observational uncertainty is low enough to allow for a considerable reduction in the projection uncertainties. We therefore propose to regionally optimize emergent relationships with the twofold goal to (a) identify key model dynamics associated with the emergent constraint and model inconsistencies around them and (b) provide key areas where a narrow observational uncertainty is crucial for constraining future projections. Here, we consider two previously established emergent constraints of the future carbon uptake in the North Atlantic (Goris et al., 2018). For the regional optimization, we use a genetic algorithm and pre-define a suite of shapes and size ranges for the desired regions. Independent of pre-defined shape and size range, the genetic algorithm persistently identifies the Gulf Stream region centred around 30∘ N as optimal as well as the region associated with broad interior southward volume transport centred around 26∘ N. Close to and within our optimal regions, observational data of volume transport are available from the RAPID array with relative low observational uncertainty. Yet, our regionally optimized emergent constraints show that additional measures of specific biogeochemical variables along the array will fundamentally improve our estimates of the future carbon uptake in the North Atlantic. Moreover, our regionally optimized emergent constraints demonstrate that models that perform well for the upper-ocean volume transport and related key biogeochemical properties do not necessarily reproduce the interior-ocean volume transport well, leading to inconsistent gradients of key biogeochemical properties. This hampers the applicability of emergent constraints over large areas and highlights the need to additionally evaluate spatial model features.</p

Co2 trapping in sloping aquafiers: High resolution numerical simulations

publishedVersio

In search of suitable reference genes for gene expression studies of human renal cell carcinoma by real-time PCR

<p>Abstract</p> <p>Background</p> <p>Housekeeping genes are commonly used as endogenous reference genes for the relative quantification of target genes in gene expression studies. No conclusive systematic study comparing the suitability of different candidate reference genes in clear cell renal cell carcinoma has been published to date. To remedy this situation, 10 housekeeping genes for normalizing purposes of RT-PCR measurements already recommended in various studies were examined with regard to their usefulness as reference genes.</p> <p>Results</p> <p>The expression of the potential reference genes was examined in matched malignant and non-malignant tissue specimens from 25 patients with clear cell renal cell carcinoma. Quality assessment of isolated RNA performed with a 2100 Agilent Bioanalyzer showed a mean RNA integrity number of 8.7 for all samples. The between-run variations related to the crossing points of PCR reactions of a control material ranged from 0.17% to 0.38%. The expression of all genes did not depend on age, sex, and tumour stage. Except the genes TATA box binding protein (<it>TBP</it>) and peptidylprolyl isomerase A (<it>PPIA</it>), all genes showed significant differences in expression between malignant and non-malignant pairs. The expression stability of the candidate reference genes was additionally controlled using the software programs geNorm and NormFinder. <it>TBP </it>and <it>PPIA </it>were validated as suitable reference genes by normalizing the target gene <it>ADAM9 </it>using these two most stably expressed genes in comparison with up- and down-regulated housekeeping genes of the panel.</p> <p>Conclusion</p> <p>Our study demonstrated the suitability of the two housekeeping genes <it>PPIA </it>and <it>TBP </it>as endogenous reference genes when comparing malignant tissue samples with adjacent normal tissue samples from clear cell renal cell carcinoma. Both genes are recommended as reference genes for relative gene quantification in gene profiling studies either as single gene or preferably in combination.</p

Brain-type and liver-type fatty acid-binding proteins: new tumor markers for renal cancer?

BACKGROUND: Renal cell carcinoma (RCC) is the most common renal neoplasm. Cancer tissue is often characterized by altered energy regulation. Fatty acid-binding proteins (FABP) are involved in the intracellular transport of fatty acids (FA). We examined the level of brain-type (B) and liver-type (L) FABP mRNA and the protein expression profiles of both FABPs in renal cell carcinoma. METHODS: Paired tissue samples of cancerous and noncancerous kidney parts were investigated. Quantitative RT-PCR, immunohistochemistry and western blotting were used to determine B- and L-FABP in tumor and normal tissues. The tissue microarray (TMA) contained 272 clinico-pathologically characterized renal cell carcinomas of the clear cell, papillary and chromophobe subtype. SPSS 17.0 was used to apply crosstables (chi2-test), correlations and survival analyses. RESULTS: B-FABP mRNA was significantly up-regulated in renal cell carcinoma. In normal tissue B-FABP mRNA was very low or often not detectable. RCC with a high tumor grading (G3 + G4) showed significantly lower B-FABP mRNA compared with those with a low grading (G1 + G2). Western blotting analysis detected B-FABP in 78% of the cases with a very strong band but in the corresponding normal tissue it was weak or not detectable. L-FABP showed an inverse relationship for mRNA quantification and western blotting. A strong B-FABP staining was present in 52% of the tumor tissues contained in the TMA. In normal renal tissue, L-FABP showed a moderate to strong immunoreactivity in proximal tubuli. L-FABP was expressed at lower rates compared with the normal tissues in 30.5% of all tumors. There was no correlation between patient survival times and the staining intensity of both FABPs. CONCLUSION: While B-FABP is over expressed in renal cell carcinoma in comparison to normal renal tissues L-FABP appears to be reduced in tumor tissue. Although the expression behavior was not related to the survival outcome of the RCC patients, it can be assumed that these changes indicate fundamental alterations in the fatty metabolism in the RCC carcinogenesis. Further studies should identify the role of both FABPs in carcinogenesis, progression and with regard to a potential target in RCC

Trends in mobile satellite communication

Ever since the U.S. Federal Communication Commission opened the discussion on spectrum usage for personal handheld communication, the community of satellite manufacturers has been searching for an economically viable and technically feasible satellite mobile communication system. Hughes Aircraft Company and others have joined in providing proposals for such systems, ranging from low to medium to geosynchronous orbits. These proposals make it clear that the trend in mobile satellite communication is toward more sophisticated satellites with a large number of spot beams and onboard processing, providing worldwide interconnectivity. Recent Hughes studies indicate that from a cost standpoint the geosynchronous satellite (GEOS) is most economical, followed by the medium earth orbit satellite (MEOS) and then by the low earth orbit satellite (LEOS). From a system performance standpoint, this evaluation may be in reverse order, depending on how the public will react to speech delay and collision. This paper discusses the trends and various mobile satellite constellations in satellite communication under investigation. It considers the effect of orbital altitude and modulation/multiple access on the link and spacecraft design