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.     

The U.S. role in global internet governance

Who should control the Internet? A dozen years after the Internet became a mass medium, this issue has continued to grow in urgency, becoming white hot in fall 2005. At the September 2005 preparatory meeting for the UN World Summit on the Information Society (WSIS), a coalition of countries criticized the United States' unilateral control of the Internet's domain name system (DNS) and proposed the establishment of a multinational Council to supervise it. This proposal emerged from the Final Report of the UN Working Group on Internet Governance. Researchers from the Internet Governance Project, a university-based consortium for policy analysis, have concluded that the United States should internationalize governance of the Internet, but in a way that avoids intrusive, centralized control.     

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.     

PROBABILISTIC MODELLING OF LIGNIN LIQUEFACTION

The results of the thermal and catalytic reactions of lignin model compounds are used in the a priori prediction of its liquefaction. Lignin was defined probabilistically as an ensemble of single ring aromatics with substituents on each of their six ring positions. Elements in a substituent vector x¹, for each ring position i, were matched into all possible combinations to describe lignin. Initial number fractions, or probabilities, for each vector element were ascertained through inspection of lignin structural data. The reaction of lignins altered the probabilities within each substituent vector, and reaction products were also calculated by matching all combinations of vector elements for each ring position. Model compound results provided the identities and rates of change of vector elements.

This simulation of lignin liquefaction predicted the yields of permanent gases, aqueous liquids, single- and two-ring phenolic products, and a carbonaceous residue. The impact of the distribution of oligomeric sizes on catalyst effectiveness was probed.     

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)     

Hydroformylierung einfach und mehrfach ungesättigter Fettstoffe mit heterogenisierten Cobaltcarbonyl- und R

Hydroformylation of mono and multiple unsaturated fatty substances with heterogenized cobaltcarbonyl and rhodiumcarbonyl catalysts. Heterogenized cobalt and rhodiumcarbonyl catalyst systems can be used for the hydroformylation of mono and polyunsatured fatty substances in a technically simple and satisfying manner to useful chemical intermediates. The used solid tert. phosphane complex ligands have a silicate matrix and therefore they are also suitable for the cobalt catalyzed hydroformylation which is best performed at temperatures of 160–180^oC. The cobalt catalyzed reaction gives with polyunsaturated fatty substances almost only products with monofunctionalized fatty acid chains. Whereas, the rhodium catalyzed reaction gives with linolic acid compounds inhomogeneous mixtures of mono- and diformyl derivatives of these fatty substances. The heterogenized rhodium carbonyl catalyst systems therefore seem to be more suitable for the hydroformylation of monounsaturated compounds. This is also true for rhodiumcarbonylsupported aqueous phase-catalysts which give likewise mixtures of mono and diformyl derivatives in the hydroformylation of polyunsaturated fatty substances. In batch process after the complete conversion of the olefin and reduction of the CO/H₂-pressure the loss of catalyst metal from the support is negligible and in most cases below the detection limit (<1 ppm).     

Taking the challenge of multiple access for third-generationcellular mobile radio systems-a European view

In Europe, the challenge of the design of third-generation cellular mobile radio systems has been taken numerous research and development activities in this field have been started. The authors try to give an overview of the European activities in this field. The article is organized in two parts. In the first part, the requirements for third-generation cellular mobile radio systems such as Universal Mobile Telecommunications System (UMTS) and Future Public Land Mobile Telecommunications System (FPLMTS), which has been named International Mobile Telecommunications after the year 2000 (IMT-2000) are presented concisely. Also, the importance and challenge of the multiple access design for such third-generation cellular mobile radio systems is explained. In the second part, numerous European research activities with focus on the multiple access design for third-generation cellular mobile radio systems are reviewed     

Bestimmung von Haselnußprotein (Corylin) mit Hilfe der Elektroimmundiffusion nach Laurell

European Food Research and Technology - Bei Bestimmungen des Proteingehalts von Haselnüssen in verschiedenen Handelsprodukten wie Nuß-Nougatcremes and Nußmus mit der...