Finite constants: characterizations of a new decidable set of constants

Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project.     

Modellqualität als Indikator für Softwarequalität: eine Taxonomie

Zusammenfassung  Komplexit?t, Anforderungsmanagement und Variantenvielfalt sind zentrale Herausforderungen bei der Entwicklung und Evolution heutiger softwaregesteuerter Systeme. Diesen wird zunehmend durch den Einsatz modellbasierter Entwicklungsmethoden begegnet. Dadurch wird das Modell zum zentralen Artefakt und die Erstellung und Nutzung von Modellen zu einer zentralen T?tigkeit in der Softwareentwicklung. Mit der Bedeutung der Modelle steigen auch die Ansprüche an ihre Qualit?t. Dieser Beitrag untersucht die Implikationen, die daraus entstehen, insbesondere werden sinnvolle Qualit?tsmerkmale für softwarebeschreibende Modelle identifiziert und diskutiert.     

Symbolic control of visual attention: The role of working memory and attentional control settings.

This study examined how 1 symbol is selected to control the allocation of attention when several symbols appear in the visual field. In Experiments 1-3, the critical target feature was color, and it was found that uninformative central arrows that matched the color of the target were selected and produced unintentional shifts of attention (i.e., involuntary, initiated slowly, producing long-lasting facilitatory effects). Experiment 4 tested whether such selection is the result of an attentional filter or of a competition bias due to a match of incoming information against integrated object representations stored in working memory. Here, the critical feature was shape and color was irrelevant, but matching color arrows were still selected. Thus, features of objects in working memory will bias the selection of symbols in the visual field, and such selected symbols are capable of producing unintentional shifts of attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Brain HMPAO-SPECT and ocular microangiopathic syndrome in HIV-1-infected patients

OBJECTIVE: The pathogenesis of neurologic and neuropsychologic dysfunction in HIV-1 infection is unclear. The purpose of the study was to determine an association between cerebral perfusion and HIV-1-related ocular microangiopathic syndrome. METHODS: We studied 28 HIV-1-infected patients, seven of whom presented with asymptomatic HIV infection, nine with lymphadenopathy syndrome or AIDS-related complex, and 12 with AIDS. Cerebral perfusion was semi-quantitatively measured by single photon emission computed tomography of the brain using technetium-99 hexamethyl-propylenamine oxime (HMPAO-SPECT). The conjunctival manifestation of HIV-1-related microangiopathic syndrome was measured by a rating scale determining blood-flow sludging and, retinal cotton-wool spots were counted. CD4 count, neopterin, beta 2-microglobulin (beta 2M), haemoglobin, and age were determined as putative confounding variables. RESULTS: Mean conjunctival sludge in patients with normal HMPAO-SPECT findings was 1.3 +/- 0.5 (mean +/- s.e.m.); no cotton-wool spots were present. In patients with slightly impaired HMPAO-SPECT, it was 2.1 +/- 0.6 and mean cotton-wool spot count was 1.1 +/- 0.4. In patients with severely impaired HMPAO-SPECT, mean conjunctival sludge was 4.5 +/- 0.3 and mean cotton-wool spot count was 4.9 +/- 1.1 HMPAO-SPECT findings were closely associated with conjunctival sludge (r = 0.72; P < 0.001) and number of cotton-wool spots (r = 0.78; P < 0.001), whereas only a slight association with staging of HIV disease was found (P = 0.052). Analysis of covariance controlling for CD4 count neopterin, beta 2M, age, and haemoglobin demonstrated a significant difference between the three HMPAO-SPECT groups for both the number of cotton-wool spots (P < 0.001) and the conjunctival sludge rating (P < 0.001). CONCLUSION: There was a close association between severity of HIV-1-related ocular microangiopathic syndrome and severity of cerebral hypoperfusion. Microvascular alterations might contribute to the pathogenesis of neurological and neuropsychological symptoms in patients with HIV-1 disease. Furthermore, the conjunctival sludge rating and the number of cotton-wool spots might be appropriate indicators for severity of microvascular changes of the central nervous system [corrected].     

Collection of peripheral blood progenitor cells after the administration of cyclophosphamide, etoposide, and granulocyte-colony-stimulating factor: an analysis of 497 patients

BACKGROUND: There is great interpatient variability in the number of peripheral blood stem cells collected, as measured by CD34+ cell content, after the administration of chemotherapy and a growth factor. The ability to predict patients who fail to yield adequate quantities of CD34+ cells would be of value. However, very few reports include large numbers of patients treated in an identical fashion. STUDY DESIGN AND METHODS: Between 1991 and 1995, 497 consecutive patients with a variety of malignant diseases received cyclophosphamide (4 g/m2), etoposide (600 mg/m2), and granulocyte-colony-stimulating factor (6 micrograms/kg/day) for mobilization and collection of a target dose > or = 2.5 x 10(8) CD34+ cells per kg. Multivariate analyses were performed to determine the factors associated with failure to achieve this target harvest. RESULTS: A median of 14.71 x 10(6) CD34+ cells per kg (range, 0.08-137.55) was harvested with a median of 2 (range, 1-11) apheresis procedures. Ninety-one percent of patients yielded > or = 2.5 x 10(5) CD34+ cells per kg. Patients with Stage II-III breast cancer, who had pretreatment platelet counts > or = 150 x 10(9) per L and patients who underwent < or = 1 prior chemotherapy regimen had improved CD34+ cell yields. However, most patients with adverse risk factors yielded > or = 2.5 x 10(6) CD34+ cells per kg. CONCLUSION: A regimen of cyclophosphamide, etoposide, and granulocyte-colony-stimulating factor led to the successful collection of adequate numbers of CD34+ cells in most patients without excessive toxicity. These observations confirm previous reports that intense prior therapy adversely affects the quantity of CD34+ cells harvested. Pretreatment and posttreatment variables did not predict with any certainty the small fraction of patients who fail to yield > or = 2.5 x 10(6) CD34+ cells per kg via multiple apheresis procedures.     

A formal model for the interoperability of service clouds

Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a ??service cloud??, the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS²s), which serves as a universal integrated model for data and software as services, we extend AS²s by high-level action schemes called ??plots?? as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology.     

Gaussian,Lobatto and Radau positive quadrature rules with a prescribed abscissa

For a given $\theta \in (a,b)$ , we investigate the question whether there exists a positive quadrature formula with maximal degree of precision which has the prescribed abscissa $\theta $ plus possibly $a$ and/or $b$ , the endpoints of the interval of integration. This study relies on recent results on the location of roots of quasi-orthogonal polynomials. The above positive quadrature formulae are useful in studying problems in one-sided polynomial $L_1$ approximation.     

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance.     

Heat capacities of polyethylene and linear fluoropolymers

Heat capacities at constant pressure, C_p, and at constant volume C_v, were calculated with the help of normal mode frequency spectra and compared to experimental data for crystalline or semicrystalline polyethylene, poly(vinyl fluoride), poly(vinylidene fluoride), polytrifluooroethylene and poly(tetrafluoroethylene). A calculation scheme using a Tarasov function for 2N skeletal vibrational modes and an approximation of the residual 7N normal modes from known data on polyethylene and polytetrafluoroethylene is developed for all homologous, linear fluoropolymers. N is the number of carbon backbone atoms of the repeating unit. Calculations can be carried out over the whole temperature range 0 K to melting. For the two theta temperatures and the constant A₀ used for C_v to C_p conversion, fluorine-concentration dependent curves are given. The relations are expected to hold also for copolymers and blends of intermediate fluorine contents. Recommended experimental (data bank) heat capacities agree to ±2.5% with the calculations.     

On‐the‐fly generation and rendering of infinite cities on the GPU

In this paper, we present a new approach for shape‐grammar‐based generation and rendering of huge cities in real‐time on the graphics processing unit (GPU). Traditional approaches rely on evaluating a shape grammar and storing the geometry produced as a preprocessing step. During rendering, the pregenerated data is then streamed to the GPU. By interweaving generation and rendering, we overcome the problems and limitations of streaming pregenerated data. Using our methods of visibility pruning and adaptive level of detail, we are able to dynamically generate only the geometry needed to render the current view in real‐time directly on the GPU. We also present a robust and efficient way to dynamically update a scene's derivation tree and geometry, enabling us to exploit frame‐to‐frame coherence. Our combined generation and rendering is significantly faster than all previous work. For detailed scenes, we are capable of generating geometry more rapidly than even just copying pregenerated data from main memory, enabling us to render cities with thousands of buildings at up to 100 frames per second, even with the camera moving at supersonic speed.