Abstract: A functionalization is performed with a dissolved oligo- or polysaccharide derivative which contains at least one free functional group, especially an amino group, linked through a polar carbamate linkage and a spacer (X), according to the general formula I:

Abstract: In general, in one aspect, the invention relates to a method for statically analyzing a library that includes obtaining native method annotations associated with native methods invoked by the library and extracting facts corresponding to the library from the library to obtain library facts. The library is written in a first programming language. The method also includes constructing a type-object lattice, modeling an abstracted heap using the type-object lattice, expressing abstracted heap update operations as heap update rules, and constructing, based on the library, a most general application (MGA) for the library. The method additionally includes analyzing the library using the native method annotations, the library facts, the MGA, the abstracted heap, and the heap update rules to obtain results, storing the results of the analysis, and performing an action based on the results.

Abstract: It was the object to perform surface functionalization with as low as possible a procedural effort and without deleterious side effects, wherein the functionalized surface is to have a permanent chemical activity and a high degree of substitution (DS) of higher than 1.

Abstract: In general, in one aspect, the invention relates to a method for statically analyzing a library that includes obtaining native method annotations associated with native methods invoked by the library and extracting facts corresponding to the library from the library to obtain library facts. The library is written in a first programming language. The method also includes constructing a type-object lattice, modeling an abstracted heap using the type-object lattice, expressing abstracted heap update operations as heap update rules, and constructing, based on the library, a most general application (MGA) for the library. The method additionally includes analyzing the library using the native method annotations, the library facts, the MGA, the abstracted heap, and the heap update rules to obtain results, storing the results of the analysis, and performing an action based on the results.

Abstract: Ducts for carrying off hot gas given off from the combustion chamber of an incinerator are built into the outer walls of a pyrolysis chamber located above the combustion chamber. The pyrolysis chamber has cross-sectional dimensions that are small enough to assure that heat from the gas ducts in walls completely penetrate the fill of waste in the pyrolysis chamber. Sluice gates are provided between the pyrolysis chamber and the combustion chamber on which the fill of the pyrolysis chamber rests when the gates are quiescent. The gates are moved to allow fragments of the pyrolysis products to drop into the combustion chamber or to turn over material resting on the gates.

Abstract: Sluice gate members mounted for swinging movement about a shaft offset from the center of a furnace and arranged to be moved both gradually and discontinuously are interposed between an upper pyrolysis and precombustion chamber and a lower afterburning chamber. The movement of these sluice gate members causes particles of the fire bed supported on them to drop down into the afterburning chamber, largely in the form of embers, at about the same rate as additional waste material is added to the fire bed, so as to maintain a fire bed of approximately constant size. The sluice gate members are hollow and secondary air is blown into them near the shafts on which they are mounted and flows out through holes on their bottom surfaces and in their facing tip edges and then proceeds downward to contribute to the afterburning process.