A sorter-based architecture for a parallel implementation of communication intensive algorithms

This paper deals with the parallel execution of algorithms with global and/or irregular data dependencies on a regularly and locally connected processor array. The associated communication problems are solved by the use of a two-dimensional sorting algorithm. The proposed architecture, which is based on a two-dimensional sorting network, offers a high degree of flexibility and allows an efficient mapping of many irregularly structured algorithms. In this architecture a one-dimensional processor array performs all required control and arithmetic operations, whereas the sorter solves complex data transfer problems. The storage capability of the sorting network is also used as memory for data elements. The algorithms for sparse matrix computations, fast Fourier transformation and for the convex hull problem, which are mapped onto this architecture, as well as the simulation of a shared-memory computer show that the utilization of the most complex components, the processors, is O(1).     

Coding of watershed and river hierarchy to support GIS-based hydrological analyses at different scales

A procedure is presented to automatically assign a modified Pfafstetter code to a stream network and its associated watersheds. The first step is to build a topological network according to the object-oriented Arc Hydro framework definition in ArcGIS. These network relations are then mapped into a code that fully represents the stream hierarchy of a basin in a single attribute. Its use does not depend on ArcGIS object orientation and facilitates simple hierarchical aggregation and querying using only the attribute tables of shapefile versions of the stream network and watershed datasets. The code was implemented for the whole of Austria to support the flexible presentation and user-defined aggregation of water balance results in the digital version of the Hydrological Atlas of Austria.     

Constructive Membership Predicates as Index Types

In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of type T) in structure S, (x_TS) can not, in general, index all parts of a structure S and we generalize to a form ρS where ρ is a predicate over S. Under this scheme, (λx.True)S is the set of all indexes into S, but we show that not all subsets of indexes are expressible by strictly local predicates. Accordingly, we extend our membership predicates to predicates that retain state “from above” as well as allow “looking below”. Predicates of this form are complete in the sense that they can express every subset of indexes in S. These ideas are motivated by experience programming in Nuprl's constructive type theory and examining the constructive content of mechanically checked formal proofs involving membership predicates.     

Sphk1 and Sphk2 Differentially Regulate Erythropoietin Synthesis in Mouse Renal Interstitial Fibroblast-like Cells

Erythropoietin (Epo) is a crucial hormone regulating red blood cell number and consequently the hematocrit. Epo is mainly produced in the kidney by interstitial fibroblast-like cells. Previously, we have shown that in cultures of the immortalized mouse renal fibroblast-like cell line FAIK F3-5, sphingosine 1-phosphate (S1P), by activating S1P₁ and S1P₃ receptors, can stabilize hypoxia-inducible factor (HIF)-2α and upregulate Epo mRNA and protein synthesis. In this study, we have addressed the role of intracellular iS1P derived from sphingosine kinases (Sphk) 1 and 2 on Epo synthesis in F3-5 cells and in mouse primary cultures of renal fibroblasts. We show that stable knockdown of Sphk2 in F3-5 cells increases HIF-2α protein and Epo mRNA and protein levels, while Sphk1 knockdown leads to a reduction of hypoxia-stimulated HIF-2α and Epo protein. A similar effect was obtained using primary cultures of renal fibroblasts isolated from wildtype mice, Sphk1−/−, or Sphk2−/− mice. Furthermore, selective Sphk2 inhibitors mimicked the effect of genetic Sphk2 depletion and also upregulated HIF-2α and Epo protein levels. The combined blockade of Sphk1 and Sphk2, using Sphk2−/− renal fibroblasts treated with the Sphk1 inhibitor PF543, resulted in reduced HIF-2α and Epo compared to the untreated Sphk2−/− cells. Exogenous sphingosine (Sph) enhanced HIF-2α and Epo, and this was abolished by the combined treatment with the selective S1P₁ and S1P₃ antagonists NIBR-0213 and TY52156, suggesting that Sph was taken up by cells and converted to iS1P and exported to then act in an autocrine manner through S1P₁ and S1P₃. The upregulation of HIF-2α and Epo synthesis by Sphk2 knockdown was confirmed in the human hepatoma cell line Hep3B, which is well-established to upregulate Epo production under hypoxia. In summary, these data show that sphingolipids have diverse effects on Epo synthesis. While accumulation of intracellular Sph reduces Epo synthesis, iS1P will be exported to act through S1P₁₊₃ to enhance Epo synthesis. Furthermore, these data suggest that selective inhibition of Sphk2 is an attractive new option to enhance Epo synthesis and thereby to reduce anemia development in chronic kidney disease.     

Planar optical waveguides prepared in GIL49 and BK7 glass substrates by K+-Na+ ion exchange with the electric field assistance

This report focuses on research into waveguides prepared by K⁺-Na⁺ ion exchange with the help of an electric field, and the subsequent comparison with waveguides prepared by pure thermal ion exchange. The goals of this work were to determine the characteristics of and to address the technological problems associated with waveguides prepared in two types of highly pure optical glass: special soda-lime silica GIL49 glass produced from pure raw materials and commercially prepared borosilicate BK7 glass. An appropriate chemical mixture, KNO₃:Ca(NO₃)₂ in the molar ratio of 41:59, was used as the source of potassium ions. Experiments were conducted at temperatures between 250 and 410°C, and electric field values between 0 and 150 V/mm. The number of modes, depth, profile, and the change in refractive index (Δn) were measured for samples from each type of glass under various technological conditions. All of these parameters can be controlled accurately and repeatedly by the electric field. These experiments have also shown that a particular advantage of these types of pure glass is the low waveguide optical losses (0.1 to 0.2 dB/cm) attainable.