Association between palladium urinary concentrations and diseases of the thyroid and the immune system

The German Environmental Specimen Bank found that students suffering from diseases of the thyroid or the immune system had increased palladium urinary values compared to healthy individuals. Since the immunotoxic features of palladium are well known, there may be a causal relationship. Sources of palladium were identified as dental alloys, the chemical industry, oil- or coal-driven power plants and the consumption of meat products.     

Remodeling of fibrinogen by endothelial cells in dependence on fibronectin matrix assembly. Effect of substratum wettability

The endothelization of cardiovascular implants is desirable to improve their blood compatibility. The capacity of the endothelial cells to attach, migrate, proliferate and function on the implant surface depends on the presence of matrix proteins such as fibronectin (FN) and fibrinogen (FNG). In this study, we show that the deposition of fibrinogen into extracellular matrix-like structures by human umbilical vein endothelial cells (HUVEC) is dependent on FN matrix formation. We found further that the process of organization of both adsorbed and soluble FN and FNG is dependent on the wettability of materials since it was observed only on a hydrophilic and not on a hydrophobic model surface. ₃ integrin was involved in the process of cell attachment to adsorbed FNG, while the mechanism of FNG fibrillogenesis required the activity of the ₁ integrin. Studies of EC morphology showed the predominant peripheral organization of actin filaments and the formation of distinct leading and trailing cell edges suggesting a motile phenotype of cells when they are seeded on FNG. In summary, we concluded that adsorbed fibrinogen may enhance the motility of HUVEC and that soluble FNG requires FN matrix assembly to be organized in fibrilar structures.     

On Karnaugh maps and magic squares

In 1953, Karnaugh maps were developed at the Harvard Computation Laboratory for the minimization of Boolean algebraic expressions (as an approach to logic circuit synthesis) [5].     

Modeling business processes with BPEL4WS

Business Process Execution Language for Web Services (BPEL4WS) allows defining both, business processes that make use of Web services, and business processes that externalize their functionality as Web services. This short paper introduces the basic language elements of BPEL4WS using a simple example. The concepts underlying the language are briefly explained: establishing bilateral partnerships, correlating messages and processes, defining the order of the activities of a business process, event handling, handling exceptions via long-running transactions, and the usage of BPEL4WS in pure B2B scenarios. The paper finishes off by presenting the resulting application structure and the resulting economical implications.     

Approximating minimum cocolorings

A cocoloring of a graph G is a partition of the vertex set of G such that each set of the partition is either a clique or an independent set in G. Some special cases of the minimum cocoloring problem are of particular interest.We provide polynomial-time algorithms to approximate a minimum cocoloring on graphs, partially ordered sets and sequences. In particular, we obtain an efficient algorithm to approximate within a factor of 1.71 a minimum partition of a partially ordered set into chains and antichains, and a minimum partition of a sequence into increasing and decreasing subsequences.     

Managing Structural Information by Higher-Order Colored Unification

Coloring terms (rippling) is a technique developed for inductive theorem proving that uses syntactic differences of terms to guide the proof search. Annotations (colors) to symbol occurrences in terms are used to maintain this information. This technique has several advantages; for example, it is highly goal oriented and involves little search. In this paper we give a general formalization of coloring terms in a higher-order setting. We introduce a simply typed calculus with color annotations and present appropriate algorithms for the general, pre-, and pattern unification problems. Our work is a formal basis to the implementation of rippling in a higher-order setting, which is required, for example, in the case of middle-out reasoning. Another application is in the construction of natural the language semantics, where the color annotations rule out linguistically invalid readings that are possible using standard higher-order unification.     

Die Bestimmung von Schwefelanteilen im Stahl unter 10 μg/g

Analytische Möglichkeiten einer neuen Gerätegeneration. Weiterentwicklung des Verfahrens mit synthetischer Eichung bis zur Bestimmungsgrenze 2 μg/g.